function WriteEmail(user,domain,toplevel)
{
  document.write('<a href=\"mailto:' + user + '@' + domain + '.' + toplevel + '\">');
  document.write(user + '@' + domain + '.' + toplevel + '</a>');
}
function WriteEmailName(user,domain,name)
{
  document.write('<a href=\"mailto:' + user + '@' + domain + '\">');
  document.write(name + '</a>');
}