function get_mail(mail_ref)
{

	
	var mail = mail_ref.href;

if ((mail.substr(0,7)=='mailto:')&&(mail.indexOf('@')==-1))
{
	mail= mail.substr(7);
	var pattern = /9aabe4b5fbd7d4659b532a42ced22911/;
	mail=mail.replace(pattern,'@');
	mail_ref.href ='mailto:'+mail;
}	 
}