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