function dateFormat(aDate) {
	var datePieces = aDate.split(" ");
	
	switch(datePieces[0]) {
		case "Sun,":
			var theDayOfTheWeek = "Sunday";
			break;
		case "Mon,":
			var theDayOfTheWeek = "Monday";
			break;
		case "Tue,":
			var theDayOfTheWeek = "Tuesday";
			break;
		case "Wed,":
			var theDayOfTheWeek = "Wednesday";
			break;
		case "Thu,":
			var theDayOfTheWeek = "Thursday";
			break;
		case "Fri,":
			var theDayOfTheWeek = "Friday";
			break;
		case "Sat,":
			var theDayOfTheWeek = "Sat";
			break;
	}
	
	switch(datePieces[1]) {
		case "Jan":
			var theMonth = "January";
			break;
		case "Feb":
			var theMonth = "Feburary";
			break;
		case "Mar":
			var theMonth = "March";
			break;
		case "Apr":
			var theMonth = "April";
			break;
		case "May":
			var theMonth = "May";
			break;
		case "Jun":
			var theMonth = "June";
			break;
		case "Jul":
			var theMonth = "July";
			break;
		case "Aug":
			var theMonth = "August";
			break;
		case "Sep":
			var theMonth = "September";
			break;
		case "Oct":
			var theMonth = "October";
			break;
		case "Nov":
			var theMonth = "November";
			break;
		case "Dec":
			var theMonth = "December";
			break;
	}
	
	var theDay = datePieces[0];
	var theYear = datePieces[2];
	document.write(theMonth+" "+theDay+", "+theYear);
}