function mail_href()
{
	var arr = document.getElementsByTagName('a');
	for(a = 0; a < arr.length; a++)
	{
        var re = /^mail:([^]+)\/([^]+)/i;
        arr[a].href = arr[a].href.replace(re, "mailto:$2@$1"); 
	}
}