function email_demangle()
	{
	if (!document.getElementsByTagName && !document.createElement && !document.createTextNode)
		return;
	var theNodes = document.getElementsByTagName("a");
	for(var N = theNodes.length - 1; N >= 0; N--)
		{
		if (theNodes[N].className=="email")
			{
			var theNode = theNodes[N];
			var theAddress = theNode.firstChild.nodeValue;
			
			theAddress = theAddress.replace(/ \[at\] /, "@");
			theNode.setAttribute("href", "mailto:" + theAddress);
			theAddressNode = document.createTextNode(theAddress);
			theNode.replaceChild(theAddressNode, theNode.childNodes[0]);
			}
		}
	}

window.onload = email_demangle;