function writeEmailAddress(user,domain) {
  var ret = '';
  var user_chars = user.split(',');
  for (var i=0; i<user_chars.length; i++) ret += String.fromCharCode(user_chars[i]);
  ret += String.fromCharCode(256>>2);
  var domain_chars = domain.split(',');
  for (var i=0; i<domain_chars.length; i++) ret += String.fromCharCode(domain_chars[i]);
  return ret;
}

function sendmail(user,domain) {
  return String.fromCharCode(109, 97, 105, 108, 116, 111, 58) + writeEmailAddress(user,domain);
}

function print_mailaddr(id,user,domain) {
  var el = document.getElementById(id);
  el.innerHTML = writeEmailAddress(user,domain);
}