months=new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
document.write(months[eval(document.lastModified.substring(0,2))-1]+" "+eval(document.lastModified.substring(3,5))+", "+document.lastModified.substring(6,10));