function va() 
{
	elm = document.getElementById("e");
	if ( elm == null ) return false;
	addr_to_replace=elm.firstChild;
	real_address = addr_to_replace.nodeValue.replace( "[apestaartje]", "@");
	addr_to_replace.nodeValue = real_address;
	addr_to_replace.parentNode.setAttribute( "href", 'mail'+"to:"+real_address );
}