function WriteDate(writeday)
{
	var mydate=new Date();
	var year=mydate.getYear();
	var day=mydate.getDay();
	var month=mydate.getMonth();
	var daym=mydate.getDate();
	if (year < 1000)
        year=year+1900;
	if (daym < 10) daym="0"+daym;
	var dayarray=new Array('Sun','Mon','Tues','Wed','Thur','Fri','Sat');
	var montharray=new Array('Jan','Feb','March','April','May','June','July','Aug','Sep','Oct','Nov','Dec');
	if (writeday)
		document.write(dayarray[day]+", ");
	document.write(montharray[month]+" "+daym+", "+year);
}