function fixMail1(link, str)
{
	var name, href;
	href = link.href;
	if(href.substr(0, 7) != "mailto:")
		return;
	if(link.firstChild == null)
		name = String(link.text);
	else
		name = String(link.firstChild.data);
	ns = href.indexOf(str);
	if(ns > 0)
	{
		link.href = href.substr(0, ns) + href.substr(ns + str.length);
	}
	ns = name.indexOf(str);
	if(ns < 0)
		return;
	name = name.substr(0, ns) + name.substr(ns + str.length);
	if(link.firstChild == null || link.firstChild.nodeType != 3)
		return;
	link.firstChild.data = name;
}
function fixMail(str)
{
	for(i = 0; i < document.links.length; i++)
		fixMail1(document.links[i], str);
}