function fixedDigits(str, digs) {
	str = "0000" + str
    return str.substring(str.length - digs)
}

var modDate = new Date(document.lastModified)
var strDate = ""
var month=new Array(12);
month[0]="January";
month[1]="February";
month[2]="March";
month[3]="April";
month[4]="May";
month[5]="June";
month[6]="July";
month[7]="August";
month[8]="September";
month[9]="October";
month[10]="November";
month[11]="December";

strDate = fixedDigits(modDate.getDate(), 2) + ' ' + month[modDate.getMonth()] + ' ' + modDate.getFullYear()
document.write('Page last updated ' + strDate)