function ModifiedDate() {

var	month = new Array("January","February","March","April","May","June","July",

					  "August","September","October","November","December");

	updated = new Date(document.lastModified);

	Month   = month[updated.getMonth()];

	Day     = updated.getDate();

	Year    = updated.getYear();

	Hour    = updated.getHours();

	Min     = updated.getMinutes();

    if( Year < 2000 ) Year += 1900;

    if( Year < 2000 ) Year += 100;  //Netscape 3 and IE 4.7 return 0 instead of 100 for 2000

	if( Hour < 10 )  Hour = "0" + Hour;

	if( Min  < 10 )  Min  = "0" + Min;

	document.write("Last modified " + Month + " " + Day +  ", " + Year);

}