if (Date.parse(document.lastModified) != 0)
{
	var md = new Date(document.lastModified);

	var monthNames = new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");

	var month = monthNames[md.getMonth()];
	var day = md.getDate();
	var year = md.getFullYear();

	document.write("Last modified: " + month + " " + day + ", " + year);
}