/* ------------------------------------------------
  Fichier header.js

  1. header-infos

 ------------------------------------------------*/

/* ------------------------------------------------
    [ 1. header-infos ]
*/
window.addEvent('domready', function(){
    var washEmails = function() {
        $$('a[href^=mailto:]').each(function(e) {
 
            var dot = new RegExp('gskppvdot', 'g');
            var at = new RegExp('gskppvat', 'g');
 
            e.setProperty(
                'href',
                e.getProperty('href').replace(dot, '.').replace(at, '@')
            );
            e.set(
                'text',
                e.get('text').replace(dot, '.').replace(at, '@')
            );
        });
    };
 
    washEmails();

    if($("header-infos")){
        $("header-infos").innerHTML = "Mise à jour le 10/05/2010";
    }
    
});