function fixE(a,b){return a+"@"+b;}
function insertE(a,b,c){document.getElementById(b).innerHTML="<a href='mailto:"+fixE(c,a)+"'>"+fixE(c,a)+"</a>";}