/*
-----------------------------------------------
Last Modified
Version: 2 November 2006
----------------------------------------------- */


if (Date.parse(document.lastModified) != 0) {
	var modiDate = new Date(document.lastModified);
	var monthName = new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");
	document.write("<p>Document last updated: " + modiDate.getDate() + " " + monthName[modiDate.getMonth()] + " " + modiDate.getFullYear() + "</p>");
}