function monthFormat() {
	var mm = document.getElementById("data").getElementsByTagName("span");
	var month = new Array();
	month[1]  = "Jan";
	month[2]  = "Feb";
	month[3]  = "Mar";
	month[4]  = "Apr";
	month[5]  = "May";
	month[6]  = "Jun";
	month[7]  = "Jul";
	month[8]  = "Aug";
	month[9]  = "Sep";
	month[10] = "Oct";
	month[11] = "Nov";
	month[12] = "Dec";
	for (var i=0; i<mm.length; i++) {
		var mo = mm[i].innerHTML;
		mm[i].innerHTML = month[mo*1];
	}
}
/*
Change month format on load
Alan Gresley http://css-class.com/javascript/
created from this thread
http://groups.google.com/group/comp.lang.javascript/browse_thread/thread/c7eef3fb0d00ed36/92e0ff21308b496e#92e0ff21308b496e
*/