function mailto_fix() {
  var href= this.href;
  var ix= href.indexOf('.AT.');
  if (ix!=-1) {
    href= href.substring(0, ix)+'@'+href.substring(ix+4);
    ix= href.indexOf('.DOT.');
    if (ix!=-1)
      href= href.substring(0, ix)+'.'+href.substring(ix+5);
    location.href= href;
    return false;
  }
}

for (var i=document.links.length; i-->0;)
  if (document.links[i].protocol=='mailto:')
    document.links[i].onclick= mailto_fix;