var opera
  function showmod () {
    var lastmod = new Date(Date.parse(document.lastModified))
    if (lastmod.valueOf()) {
     document.writeln("This document last modified on " + lastmod.toLocaleString())
     if (opera) {
       document.writeln("\x3cbr\x3e(You are using opera which had known bugs in date processing.")
       document.writeln("The date was meant to be equivalent to: "+document.lastModified+")")
     }
    }
  }