var displayEmail = function() {
	var email = document.getElementById("emailaddr").innerHTML;
	email = email.replace(/4/g, "a");
	email = email.replace(/1/g, "i");
	email = email.replace(/5/g, "s");
	email = email.replace(/0/g, "o");
	email = email.replace(/x/g, "m");
	email = email.replace(/3/g, "e");
	document.getElementById("emailaddr").innerHTML = email;
	var realAddr = email.replace(" at the domain ", "@");
	document.getElementById("emailaddr").parentNode.setAttribute("href", "mailto://" + realAddr);
};