function genmai3(user,dom,label) {
  var bei='@', schreibzu='mailto:';
  document.write('<a href="'+schreibzu+user+bei+dom+'">'+label+'<\/a>');
}
function genmai2(user,dom) {
  genmai3(user,dom,'(mail)');
}
function genmai(user, dom) {
  var bei='&#x40;';
  genmai3(user,dom,user+bei+dom);
}