// JavaScript Document
var m = "Page last updated " + document.lastModified;
var p = m.length-9;
document.writeln("<center>");
document.write(m);
document.writeln("</center>");