/* AUTHOR: Fred Preller */
/* Creation date: 10/16/2004 */
/* DateUpdated.js */
/* Obtain the date the present document was last modified. */
/* Write the date into the document as Day DD Mmmm YYYY. */
/* <script language="JavaScript"> */
function initArray()
{
	this.length = initArray.arguments.length
	for (var i=0;i<this.length;i++)
	this[i+1] = initArray.arguments[i]
} /* end initArray.  */
var DOWArray = new initArray("Sunday", "Monday", "Tuesday", "Wednesday", "Thursday", "Friday", "Saturday");
var MOYArray = new initArray("January", "February", "March", "April", "May", "June", "July", "August","September", "October", "November", "December");
var LastModDate = new Date(document.lastModified);
/*	document.write("This page was last updated on:<br>");  */
document.write(DOWArray[(LastModDate.getDay()+1)]);		/* Day of the week */
document.write(", ");
document.write(LastModDate.getDate());					/* Date */
document.write(" ");
document.write(MOYArray[(LastModDate.getMonth()+1)]);	/* Month */
document.write(" ");
if ( LastModDate.getYear() > 1900 ) { adjYear = 0 ; }
else { adjYear = 1900 ; }
document.write((LastModDate.getYear()+adjYear));		/* Year */
/* </script> */