var modDate=document.lastModified
document.write("<center><font size='-3'>page modified "+modDate+ "</font></center>")