function replaceMailAddress(){
  var mailaddress = 'flaver' + String.fromCharCode(0x40) + 'flaver' + String.fromCharCode(0x2e) + 'jp';
  var atags = document.getElementsByTagName("a");
  for(i = 0; i < atags.length; i++){
    var href = atags[i].href;
    atags[i].href = href.replace("\[flaverMailAddress\]", mailaddress);
  }
}