/*
String.prototype.replace = function(pattern, replacement)
{
   return this.split(pattern).join(replacement);
};
*/

$(document).ready(function () {
   $("a[href^=mailto]").each(function() {
      if (this.href) {
         this.href = encodeURI(decodeURI(this.href).replace("{a}", "@"));
      }
      if (this.title) this.title = this.href.replace("(a)", "@");
      this.innerHTML = this.innerHTML.replace("(a)", "@");
   });
});