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>");
}

function index(n) {
for(i=1;i<=4;i++) {document.getElementById('tab'+i).className='nonsel';
document.getElementById('cont'+i).style.display='none'}
document.getElementById('tab'+n).className='sel';
document.getElementById('cont'+n).style.display='block';
}