var mydate = new Date(document.lastModified)
var montharray=new

Array('Jan','Feb','Mar','Apr','May','Jun','Jul','Aug','Sep','Oct','Nov','Dec')
var mymon= mydate.getMonth()
var mytext=" " + mydate.getDate() + " " + montharray[mymon] + " " +
mydate.getYear()
document.write( "Last updated "+ mytext);