function decodeLinks() {
	var i;
	
	for (i=0; i<document.links.length; i++) {
		var href = document.links[i].href;
			
		if (href.match(/^mailto:/)) {
			href = fix(href);
			document.links[i].href = href;
		}
	}
}

function fix(text) {
	text = text.replace(new RegExp('\%20', 'g'), ' ');
	text = text.replace(new RegExp(' apenstaartje ', 'g'), ' @ ');
	text = text.replace(new RegExp(' punt ', 'g'), ' . ');
	text = text.replace(new RegExp(' ', 'g'), '');
	return text;
}