window.onload = function()
{
	aList = document.getElementsByTagName("a");
	for(var i=0;i<aList.length;i++)
	{
		aElm = aList[i]
		if(aElm.href.indexOf("mailto:")==0)
		{
			aElm.href=aElm.href.replace("[a]","@");
		}
	}
}