// JavaScript Document
document.write("last updated: "+document.lastModified+" ")