function endsWith(str, suffix) {
    return str.indexOf(suffix, str.length - suffix.length) !== -1;
}

(function()
{
$('a').each(function()
{
	if (this.rev == 'mail')
	{
	var e = this.rel.replace('/','@');
	var ee = e.replace('#','.info');
	this.href = 'mailto:' + ee;
	this.title = ee;
	if (endsWith(this.innerHTML, '#'))
	{
		this.innerHTML = this.innerHTML.replace('/','@').replace('#','.info')
	}
	}
});

$('span.critical').each(function()
{
	if (endsWith(this.innerHTML,'#</em>'))
	{
		this.innerHTML = this.innerHTML.replace('/','@').replace('#','.info')
	}
});
})()