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