var contactPattern = /^contact\:(.*)\#(.*)$/;
var displayPattern = /^(.*)\#(.*)$/;

function deMungeMailtos() {
	for (var i=0; i<document.links.length; i++) {
		var a = document.links[i];
		var m = a.href!=null ? contactPattern.exec(a.href) : null;
		if (m!=null) {
			a.href = 'mailto:'+m[1]+'@'+m[2];
		}
		m = displayPattern.exec(a.innerHTML);
		if (m!=null) {
			a.innerHTML = m[1]+'@'+m[2];
		}
	}
}

if (window.addEventListener) {
  window.addEventListener('load', deMungeMailtos, false); 
} else if (window.attachEvent) {
  window.attachEvent('onload', deMungeMailtos);
} else {
  window.onload = deMungeMailtos;
}