function view_address() {
	address_to_replace=document.getElementById("view_mail_script").firstChild;
	real_address=address_to_replace.nodeValue.replace("(0..a..t..0)", "@");
	address_to_replace.nodeValue=real_address; 
	address_to_replace.parentNode.setAttribute("href", "mailto:"+real_address); 
}
window.onload = function() { view_address(); }