var monthName = new Array("JAN","FEB","MAR","APR","MAY","JUN","JUL","AUG","SEP","OCT","NOV","DEC"),dateMod = new Date(document.lastModified),monthMod = monthName[dateMod.getMonth()],dayMod = dateMod.getDate(),yearMod = dateMod.getFullYear();