var days = new Array(8);
days[1] = "";
days[2] = "";
days[3] = "";
days[4] = "";
days[5] = "";
days[6] = "";
days[7] = "";
var months = new Array(13);
months[1] = "Jan.";
months[2] = "Feb.";
months[3] = "March";
months[4] = "April";
months[5] = "May";
months[6] = "June";
months[7] = "July";
months[8] = "Aug.";
months[9] = "Sept.";
months[10] = "Oct.";
months[11] = "Nov.";
months[12] = "Dec.";
var dateObj = new Date(document.lastModified)
var wday = days[dateObj.getDay() + 1]
var lmonth = months[dateObj.getMonth() + 1]
var date = dateObj.getDate()
var fyear = dateObj.getYear()
if (fyear < 2000) 
fyear = fyear + 1900
document.write(wday + " " + date + " " + lmonth + " " + fyear)