var day=new Array('Sun','Mon','Tues','Wednes','Thurs','Fri','Satur');
var month=new Array('January','February','March','April','May','June','July','August','September','October','November','December');

function getFullYear(dt){
 var y=dt.getYear();
 if(y<1000) y+=1900;
 return y;
}

function writeLastModified(){
 if(Date.parse(document.lastModified)==0) return;
 var d=new Date(Date.parse(document.lastModified));
 document.write('Last updated: ');
 document.write(day[d.getDay()]+'day, '+d.getDate()+' ');
 document.write(month[d.getMonth()]+', '+getFullYear(d));
}