function fixMailLinks() 
{
	var body = document.body.innerHTML;

	var rgexp  = new RegExp("/mail/(\\w*)/(\\w*)/(\\w*)/","gi");
	body = body.replace(rgexp,"mailto:$1\@$2\.$3");

	document.body.innerHTML = body;
}