function replacewithmailto(elem_id, user, domain, tld) {
	var elem=document.getElementById(elem_id);
	elem.innerHTML=mailto(user,domain,tld);
}
function mailto(user, domain, tld) {
	return "<a href=\"mailto:"+user+"@"+domain+"."+tld+"\">"+user+"@"+domain+"."+tld+"</a>";
}