var nodeUL = new Array();activateMenu = function(nav) {    /* currentStyle restricts the Javascript to IE only */    /*if (document.all && document.getElementById(nav).currentStyle) {  */    if (document.all) {        var navroot = document.getElementById(nav);        /* Get all the list items within the menu */        var lis=navroot.getElementsByTagName("LI");        for (i=0; i<lis.length; i++) {           /* If the LI has another menu level */           /* on parcour les noeuds du li pour trouver un UL */           var j = 0;           var ulFound = false;           while( j <  lis[i].childNodes.length ){                if (lis[i].childNodes[j].nodeName == "UL"){                    ulFound = true;                    nodeUL[i] = lis[i].childNodes[j];                    break;                }                j++;            }            if (ulFound){                /* assign the function to the LI */                lis[i].onmouseover=function() {                    /* display the inner menu */                    this.className += "over";                }                lis[i].onmouseout=function() {                    this.className = this.className.replace("over", "");                }            }        }    }}//window.onload= function(){    /* pass the function the id of the top level UL */    /* remove one, when only using one menu */  //  activateMenu('nav');//}activateMenu('nav');// Contrôle du formulaire de loginfunction verifFormLogin() {    var erreur                 = '';    var fLogin                 = document.forms["formLogin"];    var estUnNombreA11Chiffres = new RegExp(/^[0-9]{11}$/g);    var estUneDate             = new RegExp(/^(0[1-9]|[12][0-9]|3[01])(0[1-9]|1[012])(19|20)\d\d$/g);    if (!estUnNombreA11Chiffres.test(fLogin.id2.value)) {        alert("Merci de saisir les 11 chiffres de votre numéro de compte.");        return false;    }    if (!estUneDate.test(fLogin.dateNaissance.value)) {        alert("Merci de saisir votre date de naissance sous le format suivant : jjmmaaaa.");        return false;    }    f.submit();}