window.onload = function(e) {
  highlight ();
  DisplayLastModified ()
}