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