function fixup () {
    var anchors = document.getElementsByTagName("a"), anchor, url;
    for (var i=0; i<anchors.length; i++) {
	anchor=anchors[i];
	url=anchor.href;
	if (url.search(/^mailto:/)>=0) {
	    url = url.replace(/(%20| )*\(at\)(%20| )*/,"@");
	    url = url.replace(/(%20| )/g,".");
	    anchor.href = url;
	}}}