<!--
function MonName(x) {
	var month = x;
	var emonth = new Array(12);
		emonth[0] = "Jan";
		emonth[1] = "Jan";
		emonth[2] = "Feb";
		emonth[3] = "Mar";
		emonth[4] = "Apr";
		emonth[5] = "May";
		emonth[6] = "Jun";
		emonth[7] = "Jul";
		emonth[8] = "Aug";
		emonth[9] = "Sep";
		emonth[10] = "Oct";
		emonth[11] = "Nov";
		emonth[12] = "Dec";

	document.write (emonth[x]);
}
//-->