function spam_correct() {
    var i, lk, ix;
    for (i= document.links.length; i-->0;) {
      lk= document.links[i].href;
      if (lk.substring(0, 7)=='mailto:') {
        while ((ix= lk.indexOf('.SPAM')) !=-1)
          lk= lk.substring(0, ix)+lk.substring(ix+5);
        document.links[i].href= lk;
    } }
  }
  spam_correct();