var d = new Date(document.lastModified);
var months = new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");
if (Date.parse(d) != 0)
{
	document.write ('This page was last updated: '+d.getDate()+" "+months[d.getMonth()]+" ");
	if (d.getYear()<100)
		document.write(2000+d.getYear())
	else if (d.getYear()<1000)
		document.write(1900+d.getYear())
	else
		document.write(d.getYear())
}