function displayModDate ()
{
   var month =
   [
      "January", "February", "March", "April", "May", "June",
      "July", "August", "September", "October", "November", "December"
   ];
   var lastModified = document.lastModified;
   var lastMod = new Date (lastModified);
   if (lastMod != 0)
   {
      if (lastModified.length == 17)
      {
         if (navigator.appName == "Microsoft Internet Explorer")
         {
            lastModified += " UTC";
            lastMod = new Date (lastModified);
         }
         else if (navigator.appName == "Netscape")
         {
            var now = new Date ();
            diffMin = now.getTimezoneOffset ();
            var ahead = "-";
            if (diffMin < 0)
            {
               ahead = "+";
               diffMin = -diffMin;
            }
            var hours = diffMin / 60;
            var mins  = diffMin % 60;
            lastModified += " " + ahead;
            if (hours < 10)
               lastModified += "0";
            lastModified += hours;
            if (mins < 10)
               lastModified += "0";
            lastModified += mins;
            lastMod = new Date (lastModified);
         }
      }
      var lastModStr = lastMod.toUTCString ().split (' ');
      var year = parseInt (lastModStr [3], 10);
      if (year < 1970)
         year += 100;

      var day = parseInt (lastModStr [1], 10);
      var ith = "th";
      if (day % 10 == 1 && day != 11)
         ith = "st";
      else if (day % 10 == 2 && day != 12)
         ith = "nd";
      else if (day % 10 == 3 && day != 13)
         ith = "rd";
      document.write ("This page was last updated on<br>", day, ith, " ",
                      month [lastMod.getUTCMonth ()], " ",
                      year, " ",
                      lastModStr [4], " UTC");
   }
   else
      document.write ("unknown");
}

displayModDate ();