// last udate

function lastupdate () {
  var s2 = "Last update : " + document.lastModified;
  s2 = "<font style=\"font-size:11;\">" + s2 + "</FONT>";
  document.write(s2);
}

function lastupdate2 () {
  var s2 = document.lastModified;
  var i2;
  i2 = s2.indexOf(" ");
  s2 = s2.substr(0, i2);
  document.write("Last update : " + s2);
}

// end of file