// JavaScript Document - Date function

function displayDate() {
// In DD MMMM YYYY format
	var theDate = new Date();
	datenow = theDate.getDate();
	monthnow = theDate.getMonth();
	if (monthnow == 0)
		month = "Jan";
	else if (monthnow == 1)
		month = "Feb";
	else if (monthnow == 2)
		month = "Mar";
	else if (monthnow == 3)
		month = "Apr";
	else if (monthnow == 4)
		month = "May";
	else if (monthnow == 5)
		month = "Jun";
	else if (monthnow == 6)
		month = "Jul";
	else if (monthnow == 7)
		month = "Aug";
	else if (monthnow == 8)
		month = "Sep";
	else if (monthnow == 9)
		month = "Oct";
	else if (monthnow == 10)
		month = "Nov";
	else if (monthnow == 11)
		month = "Dec";
	yearnow = theDate.getFullYear();
	document.write(datenow+" "+month+" "+yearnow);
}