<!-- lastmodified.js -- hide from old browsers
document.write('<CENTER><font face="Arial, helvitica, sans serif" color="#000000" size="-2">'); document.write("Last modified: " + document.lastModified.slice(document.lastModified.search(",") + 1, -9)); document.write('</font></CENTER>')
// end hideing -->
