var mydate=new Date(document.lastModified)
var year=mydate.getFullYear()
var day=mydate.getDay()
var month=mydate.getMonth()
var daym=mydate.getDate()
var dayarray=new Array("Sunday","Monday","Tuesday","Wednesday","Thursday", "Friday","Saturday")
var montharray=new Array("January","February","March","April","May","June"
,"July","August","September","October","November","December")
var dateString = new Array('','st','nd','rd','th','th','th','th','th','th','th','th','th','th','th','th','th','th','th','th','th','st','nd','rd','th','th','th','th','th','th','th','st');
document.write("Page last modified: "+dayarray[day]+", "+montharray[month]+" "+daym+dateString[daym]+", "+year)