function format_email_in(id) {
  var el = document.getElementById(id);
  var e = el.innerHTML;
  var text;    
  e = e.replace(/ /g, "");
  e = e.replace(/\(dot\)/g, ".");
  e = e.replace(/\(at\)/g, "@"); 
  text = el.title ? el.title : e;    
  el.innerHTML = '<a href="mailto:'+e+'">'+text+'</a>';
};