function lastMod() {
if (Date.parse(document.lastModified) != 0)
  document.write('<p><small>Last Modified: ' +
    document.lastModified + '<br>' +
    'Location of this document: ' + document.URL +
    '<\/small></p>');
}