function mail(el) {
  if (el.href.substr(0, 7) != 'mailto:') return;
  var parts=el.href.substr(7).split('@');
  el.href='mailto:' + parts[1] + '@' + parts[0];
  el.onclick = '';
}