document.write("<small><em><Font color=ff8800>" + "Last edited: "+ "</font>" +document.lastModified + " (gmt)</em></small>");