// JavaScript Document

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