function easr() {
  var doc = document;
  var aa = doc.getElementsByTagName("a");
  for (var i=0; i<aa.length; i++) {
    var a = aa.item(i);
    var h = a.getAttribute("dx");
    if (h != null) {
      a.removeAttribute("dx");
      h = "ma" + "ilt" + "o:" + h + "@a" + "shgrover" + "angers." + "o" + "rg";
      a.setAttribute("href", h);
    }
  }
}