// JavaScript Document
 <!--hide script from old browsers
document.write("<SMALL>Last updated: " +
document.lastModified + "</SMALL>");
// end hiding -->