function showUpdateDate() {
	var lastUpdated = document.lastModified;
	var month = lastUpdated.substring( 0, 2 );
	var day = lastUpdated.substring( 3, 5 );
	var year = lastUpdated.substring( 6, 10);
	var theMonth;
	switch(month)
	{
	case "01":
	  theMonth = "Jan";
	  break;
	case "02":
	  theMonth = "Feb";
	  break;
	case "03":
	  theMonth = "Mar";
	  break;
	case "04":
	  theMonth = "Apr";
	  break;
	case "05":
	  theMonth = "May";
	  break;
	case "06":
	  theMonth = "Jun";
	  break;
	case "07":
	  theMonth = "Jul";
	  break;
	case "08":
	  theMonth = "Aug";
	  break;
	case "09":
	  theMonth = "Sep";
	  break;
	case "10":
	  theMonth = "Oct";
	  break;
	case "11":
	  theMonth = "Nov";
	  break;
	case "12":
	  theMonth = "Dec";
	  break;
	}
	
	var theUpdateDate

	theUpdateDate = day + "-" + theMonth + "-" + year; 
	
	document.write("<div id=updated>");
	document.write("<p>Updated: " + theUpdateDate + "</p>");
	document.write("</div>");
}