function doEmail(addr) {
	document.location = "mailto:" + addr.replace("_dot_", ".").replace("_at_",String.fromCharCode(64))
}