// JavaScript Document
	browserName = navigator.appName;
	browserVer = parseInt(navigator.appVersion);
	if ( (browserName == "Netscape" && browserVer >= 3) ||
	(browserName == "Microsoft Internet Explorer" && browserVer >= 4)) compat = "true";
    else compat = "false";

function display_todays_date()
{
	if (compat == "true") {
	var today = new Date();
	var numerical_day=today.getDay();	
	var date=today.getDate();
	var numerical_month=today.getMonth();
	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+' '+date+' '+month_name+', '+year;
	document.write(date_string);
	}
}