/**
 * Render today's date into the indicated elementID, formatted as 'weekday, monthname d, yyyy'.
 * 
 * @author bjackson
 */
function today(elementID)
{
	var mydate = new Date();
	var year = mydate.getYear();
	if (year < 1000)
	{
		year += 1900;
	}
	var day = mydate.getDay();
	var month = mydate.getMonth();
	var daym = mydate.getDate();
	if (daym < 10)
	{
		daym = "0" + daym;
	}
	var days = new Array("Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday");
	var months = new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");
	document.getElementById(elementID).innerHTML = days[day] + ", " + months[month] + " " + daym + ", " + year;
}