function WriteDateModified()
{
      var dow = new Array("Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday");
      var month = new Array("January","February","March","April","May","June","July","August","September","October","November","December");
      if (Date.parse(document.lastModified) != 0)
      {
        var lastUpdate = new Date(document.lastModified);
        document.write('Last updated on ' + 
                        dow[lastUpdate.getDay()] + ", ");
        // Date.getFullYear(), Date.getYear() return incorrect values on Netscape 4
        var year = lastUpdate.getFullYear();
        year = 2000 + year%100;
        document.write(lastUpdate.getDate() + " " + month[lastUpdate.getMonth()] +
                        ", " + year + ".");
      }
}