document.write(
  "Site last updated on  " +
  date_lastmodified());