<!--				// Comment hides script from old browsers.
// This Java Script gets the server date of last update for the current HTML.
var last=document.lastModified
document.write("Last updated: ")
if (navigator.appName=="Netscape")
  {document.write(last.substring(0,16))}
else
  {document.write(last.substring(0,10))}
//-->