document.write("Last modified: " + document.lastModified );