// JavaScript Document
<!-- Begin
			var m = "Updated " + document.lastModified;
			var p = m.length-8;
			document.writeln("<left>");
			document.write(m.substring(p, 0));
			document.writeln("</left>");
			// End -->