var m = "Updated:" + document.lastModified;
var p = m.length-8;
document.writeln("<font size='-2' face='Arial, Trebuchet MS, Geneva, Helvetica, sans-serif'>");
document.write(m.substring(p, 00));
document.writeln("</font>");