function mail(name,server,domain,title)
{
  if(title=="")
    document.write('<a href="&#x6d;&#x61;&#x69;&#x6c;&#x74;&#x6f;&#x3a;'+name+'&#x40;'+server+'&#x2e;'+domain+'">'+name+'&#x40;'+server+'&#x2e;'+domain+'</a>');
  else
    document.write('<a href="&#x6d;&#x61;&#x69;&#x6c;&#x74;&#x6f;&#x3a;'+name+'&#x40;'+server+'&#x2e;'+domain+'">'+title+'</a>');
}

function mailer(name,server,domain)
{
    document.write(''+name+'&#x40;'+server+'&#x2e;'+domain+'');
}