// function showLastModified() - show last modified date of the document

function showLastModified() {

	var lastModifiedDate = new Date();

	lastModifiedDate.setTime(Date.parse(document.lastModified));

	var year = lastModifiedDate.getFullYear();

	var monthInt = parseInt(lastModifiedDate.getMonth());

	var day = lastModifiedDate.getDate();

	switch (monthInt) {

		case 0:

			var month = "Jan.";

			break;

		case 1:

			var month = "Feb.";

			break;

		case 2:

			var month = "Mar.";

			break;

		case 3:

			var month = "Apr.";

			break;

		case 4:

			var month = "May";

			break;

		case 5:

			var month = "June";

			break;

		case 6:

			var month = "July";

			break;

		case 7:

			var month = "Aug.";

			break;

		case 8:

			var month = "Sept.";

			break;

		case 9:

			var month = "Oct.";

			break;

		case 10:

			var month = "Nov.";

			break;

		case 11:

			var month = "Dec.";

			break;			

	}

	document.write("Last updated on " + month + " " + day + ", " + year);

}