jQuery(document).ready(function() {
   jQuery('span.mangle').each(function(i,e) {
      var x,s,bes;
      x=e.innerHTML.indexOf('/');
      if(x>=0)
	{
	   s=e.innerHTML.substr(x+1);
	   bes=e.innerHTML.substr(0,x);
	   bes=bes.replace(/^ +/,'').replace(/ +$/,'');
	}
      else s=e.innerHTML;
      s=String(s).replace(/\(dot\)/ig,'.').replace(/\(at\)/ig,'@').replace(/ /g,'');
      if(x>=0)
	e.innerHTML='<a href="mailto:'+s+'">'+bes+'</a>';
      else
	e.innerHTML='<a href="mailto:'+s+'">'+s+'</a>';
   });
});