function des_obf_mail_to(email,text){
email = email.replace("[at|chez|arobase]","@");
email = email.replace("[dot|point]",".");
document.write('<a class="menu" href="mailto:'+email+'">'+text+'</a>');
}

function testJavascript(){
document.getElementById('javascript_to_support').style.display = 'none';
}