document.write("<b>Last updated: "+document.lastModified+"</b>");