upMonth=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec");
upDate=new Date(document.lastModified);

y=upDate.getFullYear();
m=upMonth[upDate.getMonth()];
d=upDate.getDate();

if(d<10){d="0"+d;}

document.write("<B>","Last modified&nbsp;:&nbsp;",m," ",d,", ",y,"</B>");