$(document).observe('dom:loaded', function() {
  $$('a.email').each(function(e) {
    var email = e.innerHTML.replace('$AT$', '@').replace('$DOT$', '.');
    e.href = 'mailto:' + (e.innerHTML = email);
  });
});