//	Some JavaScripts to do stuff.

var m = "Revised: " + document.lastModified; var p = m.length-8; 
document.write(m.substring(p, 0)); document.writeln("|");