function print_date() {
	
	var days_of_week = new Array("Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday");
	var months = new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");
	var today =  new Date();
	var year = "" + today.getYear();
	if(year.length < 4) { 
	year = "20" + year.substring(1,3)
	}
	document.write(days_of_week[today.getDay()] + ", " + months[today.getMonth()] + " " + today.getDate() + ", " + year );
}