function formatted_date() {

	var currentTime = new Date()

	var month = currentTime.getMonth() + 1

	switch(month) {

		case 1: month="January";break;

		case 2: month="February";break;

		case 3: month="March";break;

		case 4: month="April";break;

		case 5: month="May";break;

		case 6: month="June";break;

		case 7: month="July";break;

		case 8: month="August";break;

		case 9: month="September";break;

		case 10: month="October";break;

		case 11: month="November";break;

		case 12: month="December";break;

	}

	month=month.substr(0,3);

	document.write(month);

	var day = currentTime.getDate()

	document.write(' '+ day);

	switch(day) {

		case 1:document.write('st');break;

		case 2:document.write('nd');break;

		case 3:document.write('rd');break;

		case 21:document.write('st');break;

		case 22:document.write('nd');break;

		case 23:document.write('rd');break;

		case 31:document.write('st');break;

		default:document.write('th');break;

	}

	

	var year = currentTime.getFullYear()

	document.write(', ' + year)

}