// JavaScript Document

function DateUpdated() {
Months = new Array("Jan", "Feb", "March", "April", "May", "June", "July", "Aug", "Sept", "Oct", "Nov", "Dec")
a = new Date(document.lastModified)
return a.getDate() + " "  + Months[a.getMonth()] + " "  + a.getYear();
}