function convert_date(thedate)

{
	var monthnames=new Array("January","February","March","April","May","June","July","August","September","October","November","December");
	var d = new Date(thedate);
	var curr_date = d.getDate();
	var curr_month = monthnames[d.getMonth()];
	var curr_year = d.getFullYear();
	var newdate;

	 newdate=curr_month + " " + curr_date + ", " + curr_year;
	 return newdate;

}