addDOMLoadEvent(function() {
	var links = document.getElementsByTagName("a");
	for (i = 0; i < links.length; i++) {
		re = /^mt:(.*)\(a\)(.*)$/;
		var test = re.exec(links[i]);
		if (test) links[i].href = "mailto:" + test[1] + "@" + test[2];
	}
	var spans = document.getElementsByTagName("span");
	for (i = 0; i < spans.length; i++) {
		if (spans[i].className == "_at_") spans[i].innerHTML = "@";
	}
});