  <!-- 
    function date_ddmmmyy(date)
    {
      var d = date.getDate();
      var m = date.getMonth() + 1;
      var y = date.getYear();

      if(y >= 2000) { y -= 2000; }
      if(y >= 100) { y -= 100; }

      return "" + (d<10?"0"+d:d) + "-" + m + "-" + (y<10?"0"+y:y);
    }

    function date_lastmodified()
    {
      var lmd = document.lastModified;
      var s   = "Unknown";
      var d1;

      if(0 != (d1=Date.parse(lmd)))
        { s = "" + date_ddmmmyy(new Date(d1)); }

      return s;
    }

    document.write("Last modified on " + date_lastmodified() );

    // -->