function mail(user, domain){window.location = 'mailto:'+user+'@'+domain;}
function flip( rid ) {
document.getElementById(rid).style.display = document.getElementById(rid).style.display == 'none' ? 'block' : 'none'
}