var lmDate = new Date(document.lastModified);

if (lmDate.getMonth() == 0)
document.write ("January ")
if (lmDate.getMonth() == 1)
document.write ("February ")
if (lmDate.getMonth() == 2)
document.write ("March ")
if (lmDate.getMonth() == 3)
document.write ("April ")
if (lmDate.getMonth() == 4)
document.write ("May ")
if (lmDate.getMonth() == 5)
document.write ("June ")
if (lmDate.getMonth() == 6)
document.write ("July ")
if (lmDate.getMonth() == 7)
document.write ("August ")
if (lmDate.getMonth() == 8)     
document.write ("September ")
if (lmDate.getMonth() == 9)
document.write ("October ")
if (lmDate.getMonth() == 10)
document.write ("November ")
if (lmDate.getMonth() == 11)
document.write ("December ")
 
document.write (lmDate.getDate())
document.write (", ")

var year = lmDate.getYear();
if (year < 70) (year = 2000 + year);
if (year < 1900) (year = 1900 + year);

document.write(year);