// JavaScript Document

var m = "Page Last Updated " + document.lastModified;
var p = m.length-8;
document.writeln("<div style='font-size: 10px;'>");
document.write(m.substring(p, 0));
document.writeln("</div>");