function write_date()
{
	var date=new Date();
	var nday=date.getDay();
	var nmonth=date.getMonth();
	var ntoday=date.getDate();
	var nyear=date.getYear();

	if (nday==0) nday="Sunday";
	if (nday==1) nday="Monday";
	if (nday==2) nday="Tuesday";
	if (nday==3) nday="Wednesday";
	if (nday==4) nday="Thursday";
	if (nday==5) nday="Friday";
	if (nday==6) nday="Saturday";

	if (nmonth==0) nmonth="January";
	if (nmonth==1) nmonth="February";
	if (nmonth==2) nmonth="March";
	if (nmonth==3) nmonth="April";
	if (nmonth==4) nmonth="May";
	if (nmonth==5) nmonth="June";
	if (nmonth==6) nmonth="July";
	if (nmonth==7) nmonth="August";
	if (nmonth==8) nmonth="September";
	if (nmonth==9) nmonth="October";
	if (nmonth==10) nmonth="November";
	if (nmonth==11) nmonth="December";

	if (nyear<=99) nyear= "19"+nyear;
	if ((nyear>99) && (nyear<2000)) nyear+=1900;

	document.write(nmonth+" "+ntoday+", "+nyear);
}