document.write("Last updated: ", document.lastModified, "<BR>");