if (document.lastModified) {
      date_last_mod = document.lastModified
    }
    else {
      date_last_mod = "unknown"
    }