// lastupdated.js - displays the "last updated" date

var days = new Array("Sun","Mon","Tue","Wed","Thu","Fri","Sat");
var months = new Array("Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec")
var modified = new Date(document.lastModified);
var m_day = modified.getDay();
var m_day_m = modified.getDate();
var m_month = modified.getMonth();
var m_year = modified.getYear();
if (m_year<1000) m_year = m_year + 1900;

// Start of footnote
document.writeln(' '
                 //+days[m_day]
                 //+' '
                 +m_day_m
                 +' '
                 +months[m_month]
                 +' '
                 +m_year
                 +' ');