// email.js
function enableEmails() {
	var ulElt = $('contacts');
	if (ulElt == undefined) {
		return;
	}

	$A(ulElt.getElementsByTagName('li')).each(function(liElt) {
		var address = liElt.innerHTML.replace(' (AT) ', '@');
		liElt.innerHTML = '<a href="mailto:' + address + '">'
			+ address + '</a>';
	});
}

addLoadEvent(enableEmails);