function deobfuscate(a) {
  href = a.href;
  new_href = href.replace(/.*\/contact\/([a-z0-9._%-]+)\+([a-z0-9._%-]+)/i, "mailto:$1@$2");
  if (href != new_href) {
     a.setAttribute("href", new_href);
     a.innerHTML = a.innerHTML.replace("..", "@");
  }
}
window.addEvent("domready", function() {
 $$('A.cloak').each(deobfuscate);
});