function putCorrectEmail() {
          el = document.getElementById('mladdr');
          if (el == null) return;
          mail = el.innerHTML.replace(/\(at\)/,'@');
          el.innerHTML = '<a href="mailto:' + mail + '">' + mail + '</a>';
        }