function view_address() {
	var address_to_replace=document.getElementById("mailto").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); 
}		

function hide_name2(){
	document.getElementById("name2").style.display = 'none';
}