// Write out the current date in the "courtesy" div
$(function() {$("#courtesy").append($(document.createElement("p")).append(buildDateString(new Date())));});


/**
 * Build a date string from the specified date object.
 */
function buildDateString(full_date) {
	var months, days;
	var year, month_name, day_name, date;
	var ret;
	
	months = ["January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December"];
	days = ["Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday"];
	
	year = full_date.getUTCFullYear();
	date = ((full_date.getUTCDate() < 10) ? "0" : "") + full_date.getUTCDate();
	
	month_name = months[full_date.getUTCMonth()];
	day_name = days[full_date.getUTCDay()]
	
	ret = day_name + ", " + month_name + " " + date + ", " + year;
	return (ret);
} // buildDateString