// JavaScript Document

function theDate() {
// writes the date
	document.write(fullDate());
}


function fullDate() {
// This looks at the browser's system date and displays it
	MonthNum = new Array("Jan", "Feb", "Mar", "Apr", "May", "Jun", "Jul", "Aug", "Sep", "Oct", "Nov", "Dec");
	DayNum = new Array("Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat");
	var DateNow = new Date();
	var DDay=DayNum[DateNow.getDay()];
	var DDate=DateNow.getDate();
	var DMonth=MonthNum[DateNow.getMonth()];
	var DYear=DateNow.getYear();
	if (DYear < 1500) {
		DYear += 1900;
	}
	var fullText = DDay + " " + DDate + " " + DMonth + " " + DYear;
	return fullText;
}