function view_address(id) {
	var address_to_replace=document.getElementById(id).firstChild;
	var real_address=address_to_replace.nodeValue.replace("[at]", "@");
	address_to_replace.nodeValue=real_address; 
	address_to_replace.parentNode.setAttribute("href", "mailto:"+real_address); 
}