document.write("last updated: "+new Date(document.lastModified))