document.write ( "<font size=2>Last updated on " + document.lastModified + ".</font>")