document.write("Page last modified: "+
(document.lastModified));