preStr = "This document has been modified on ";
postStr = ".";
lm = new Date(document.lastModified);
var days = new Array("Sun", "Mon", "Tues", "Wednes", "Thurs", "Fri", "Satur"); 
var months = new Array("January", "February", "March", "April", "May", "June", "July", "August", "September", "October", "November", "December");
var year = lm.getYear();
if (year < 1900) year += 1900;
document.write(preStr+" "+days[lm.getDay()]+"day "+lm.getDate()+" "+months[lm.getMonth()]+" "+year+postStr);