function date_it(i) {
	x = i.split(" ");
	y = x[0].split("/");
	m = "x Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec".split(" ");
	document.writeln("Last Modified: " + m[y[0] - 0] + " " + (y[1] - 0) + ", " + y[2]) ;
}

function dateit2(i) {
	document.write(" <font color=#999999 size=1 style=\"font-weight: normal\">");
	date_it(i);
	document.write("</font></h4>");
}

function dateit(i) {
	document.write("<p><center><font color=#999999 size=1>") ;
	date_it(i);
	document.write("</font></center>") ;
}