function lastModified() {
	var dateStr = document.lastModified;
	var monthIndex = parseInt( dateStr.substring(0,2),10 );
	var month = ["", "January", "February", "March", "April", "May",
		"June", "July", "August", "September",
		"October", "November", "December" ];
	var dayStr = dateStr.substring(3,5);
	var year = dateStr.substring(6,11);
	var time = dateStr.substring(11,20);
			
	var daySuffix = "th";
	if (dayStr == "01" || dayStr == "21"
		|| dayStr == "31") daySuffix = "st";
	if (dayStr == "02" || dayStr == "22") daySuffix = "nd";

	var newDateString;
	if (dayStr.charAt(0) != '0')
	  newDateString = dayStr.charAt(0);
	  else newDateString = "";
	newDateString = newDateString +
		dayStr.charAt(1)
		+ daySuffix + " " +
		month[monthIndex] + " " + year; // + "  " + time (omitted)
	document.write("<h6>Page last modified: ");
	document.write(newDateString + "</h6>");
}

function scriptTest(){ alert("Found lastModified!"); }