document.write('<font size=1 face=Verdana>')
document.writeln("Last updated on " + document.lastModified);
document.write('</font>')