function writeDate() {

	var theDate = new Date();
	var day = theDate.getDay();
	var year = theDate.getYear();
	var month = theDate.getMonth();
	var date = theDate.getDate();

	// format day name
	switch(day) {
		case 1:
			dayString = "Monday";
			break;
		case 2:
			dayString = "Tuesday";
			break;
		case 3:
			dayString = "Wednesday";
			break;
		case 4:
			dayString = "Thursday";
			break;
		case 5:
			dayString = "Friday";
			break;
		case 6:
			dayString = "Saturday";
			break;
		case 7:
			dayString = "Sunday";
			break;
		}

	dayString += ", ";	// add some formatting

	// format month name
	switch(month) {
		case 0:
			dayString += "Jan.";
			break;
		case 1:
			dayString += "Feb.";
			break;
		case 2:
			dayString += "Mar.";
			break;
		case 3:
			dayString += "Apr.";
			break;
		case 4:
			dayString += "May";
			break;
		case 5:
			dayString += "Jun.";
			break;
		case 6:
			dayString += "Jul.";
			break;
		case 7:
			dayString += "Aug.";
			break;
		case 8:
			dayString += "Sep.";
			break;
		case 9:
			dayString += "Oct.";
			break;
		case 10:
			dayString += "Nov.";
			break;
		case 11:
			dayString += "Dec.";
			break;
		}

	// determine appending formatting
	if (date < 21)
		append = date;
	else
		append = date % 10;
	
	// apply appending formatting
	switch(append) {
		case 1:
			appendString = "st";
			break;
		case 2:
			appendString = "nd";
			break;
		case 3:
			appendString = "rd";
			break;
		default:
			appendString = "th";
			break;
	}
	
	// fix for non-IE browsers
	if (year < 2000)
		year+=1900;
		
	dayString += " " + date + appendString + ", " + year;  // put it all together

	document.write(dayString);  // write it out
}