$(document).ready(function(){
  $('a[href^="mailto"]').each(function(i){
    newHREF = convert_email($(this).attr('href'))
    $(this).attr('href', newHREF);
  });
});


function convert_email(old_email)
{
  tokens = old_email.split(" AT ");
  old_email = tokens[0] + '@' + tokens[1];
  tokens = old_email.split(" DOT ");
  return tokens[0] + '.' + tokens[1];
}