time = new Date(document.lastModified);
year = time.getFullYear();
month = time.getMonth();
date = time.getDate();
day = time.getDay();
monthlist = new Array ("Jan.", "Feb.", "Mar.", "Apr.", "May", "Jun.", "Jul.", "Aug.", "Sept.", "Oct.", "Nov.", "Dec.");
daylist = new Array ("Sun", "Mon", "Tue", "Wed", "Thu", "Fri", "Sat");
month = monthlist[month];
day = daylist[day];
update = new String(day + "., " + month + " " + date + ", " + year);