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(" ");
	if (y[0] > 0) document.writeln(m[y[0] - 0] + " " + (y[1] - 0) + ", " + y[2]) ;
}