onload = ENABLE_MAIL_ADDR__execute;

function ENABLE_MAIL_ADDR__execute()
{
	var spans = document.getElementsByTagName("span");
	for (i=0; i<spans.length; i++) {
		if ("to_mail" == spans[i].className) {
			var mail_addr = spans[i].innerHTML;
			mail_addr = mail_addr.replace(/\s+at\s+/, "@");
			spans[i].innerHTML =
				"<a href=\"mailto:" + mail_addr+ "\" class=\"to_mail\">"
				+ mail_addr
				+ "</a>";
		}
	}
}