onload = ENABLE_MAIL_ADDR__execute;

function ENABLE_MAIL_ADDR__execute()
{
	var spans = document.getElementsByTagName("span");
	for (i=0; i<spans.length; i++) {
		if ("anfrage" == 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=\"anfrage\">"
				+ mail_addr
				+ "</a>";
		}
		
	}
}