var m = "Page last updated " + document.lastModified;
var p = m.length-8;
document.writeln("<right>");
document.write(m.substring(p, 0));
document.writeln("</right>");