function display_todays_date() {
	var today = new Date();
	var numerical_day=today.getDay();
	var numerical_month=today.getMonth();
	var date=today.getDate();
	var year=today.getFullYear();
	var weekday_array = new Array('Sunday','Monday','Tuesday','Wednesday','Thursday','Friday','Saturday');
	var day_of_the_week = weekday_array[numerical_day];
	var month_array = new Array('January','February','March','April','May','June','July','August','September','October','November','December');
	var month_name = month_array[numerical_month];
	var date_string=day_of_the_week+', '+month_name+' '+date+', '+year;
	document.write(date_string);
}