function print_mail(name, addr) {
   document.write(name + "@");
   document.write(addr);
}