function updated () {document.write("Last update for this page: " + document.lastModified);}