window.onload = function() {
	var objLinks = document.getElementsByTagName('a');
	
	for (var i=0; i<objLinks.length; i++) {
		if (objLinks[i].getAttribute('rel') != 'mail') continue;
		var strMail = objLinks[i].innerHTML;
		strMail = strMail.replace(/ \[at\] /g, '@');
		strMail = strMail.replace(/ \[dot\] /g, '.');
		objLinks[i].setAttribute('href', 'mailto:'+strMail);
		objLinks[i].innerHTML = strMail;
	}
}