<!--
function initArray() {
this.length = initArray.arguments.length
for (var i = 0; i < this.length; i++)
this[i+1] = initArray.arguments[i]
}
var MonthOfYearArray = new initArray("Jan","Feb","Mar","Apr",
"May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");
var LastModifiedDate = new Date(document.lastModified);
var modYear = LastModifiedDate.getYear()
if (modYear<1000) modYear+=1900
document.write("last modified ");
document.write(LastModifiedDate.getDate());
document.write(MonthOfYearArray[(LastModifiedDate.getMonth()+1)]);
document.write(modYear);
//-->