/*********** email ***********/
function dove() {
  var f = document.getElementById("dove");
  if(f) {
    var addr = f.innerHTML;
    addr = addr.replace(/\(at\)/, "@");
    addr = addr.replace(/[ \t\n\r]at[ \t\r\n]/, "@");
    addr = addr.replace(/[ \t\r\n]dot[ \t\r\n]/g, ".");
    addr = addr.replace(/[ \t\r\n]/g, "");
    f.innerHTML = "<a href='mailto:" + addr + "'>" + addr + "</a>";
  }
}
dove();