var m = "Last Updated: " + document.lastModified;


var p = m.length-8;


document.writeln("<font face =Arial, size=-2>");


document.write(m.substring(p, 0));


document.writeln("</font>");