function writeLastMod () {
	
	var months = new Array; 
	
	months[0] = "January";
	months[1] = "February";
	months[2] = "March";
	months[3] = "April";
	months[4] = "May";
	months[5] = "June";
	months[6] = "July";
	months[7] = "August";
	months[8] = "September";
	months[9] = "October";
	months[10] = "November";
	months[11] = "December";
	
	
	var modDate = new Date(Date.parse(document.lastModified));
	
	// If we have a valid date reformat it.
	if (modDate != 0) {
	
		// day variable holds day of month
		var day = modDate.getDate();
		
		// Set up month variable to hold the name of the month
		var month = months[modDate.getMonth()];
		
		// Get the year and if it is less than 1000 add 1900 to it.
		var year = modDate.getYear();
		if (year < 1000) year = year + 1900;
		
		// Display date and time document was last updated.
		document.write("updated " + month + " " + day + ", " + year);
	}
}