function mail_to(user,domain) {
A="a href='mailto:"; B=user; C=domain; 
anchor=B+"@"+C; 
F="<"+A; H=B+"@"+C; document.write(F+H+"'>"+anchor+"</a>");
}