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);
	}