// make arrays for the day and month names

days = new Array('Sun', 'Mon', 'Tue', 'Wed', 'Thu', 'Fri', 'Sat'); 
months = new Array('Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun', 'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec'); 

dayslong = new Array('Sunday', 'Monday', 'Tuesday', 'Wednesday', 'Thursday', 'Friday', 'Saturday'); 
monthslong = new Array('January', 'February', 'March', 'April', 'May', 'June', 'July', 'August', 'September', 'October', 'November', 'December'); 


// display formatted date -- day, month dd, yyyy 


function displayDate()
{
	var today = new Date();
	var day = days[today.getDay()];
	var month = months[today.getMonth()];
	var formatDate = day + ", " + month + " " + today.getDate() + ", " + today.getFullYear();

	document.write( formatDate );

}


// display copyright and modified info

function dispCopyright()
{
	var modDate = new Date(document.lastModified);
	var formatDate = months[modDate.getMonth()] + " " + modDate.getDate() + ", " + modDate.getFullYear();
	var hours =   modDate.getHours();
	var mins =   modDate.getMinutes();
	if (mins < 10) { mins = "0" + mins; }

	document.write("Copyright &#169; 2009 - 2010 RJUHSD - Last modified on " + formatDate + " " + hours + ":" + mins)
}