if (Date.parse(document.lastModified) != 0) { // checks to make sure server supports the lastModified directive
	var mod_date = new Date(document.lastModified);
	var months = new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");
	document.write("This page last modified: " + months[mod_date.getMonth()] + " " + mod_date.getDate() + ", " + mod_date.getFullYear() + ".");
}