function m(user,domain) { document.write('<u>'+user+'@'+domain+'</u>'); }
function gm(user,domain) { return user+'@'+domain; }