// <![CDATA[
	sfHover = function() {
		var boxElts=null;
		var gotBoxes=false;
		boxElts=getIESelectBoxes();
		if(boxElts != null && boxElts.length >0)gotBoxes=true;
		
		var sfEls = document.getElementById("nav").getElementsByTagName("LI");
		for (var i=0; i<sfEls.length; i++) {
			sfEls[i].onmouseover=function() {
				this.className+=" sfhover";
				if(gotBoxes)checkHidingForm(boxElts,true);
			}
			sfEls[i].onmouseout=function() {
				this.className=this.className.replace(new RegExp(" sfhover\\b"), "");
				if(gotBoxes)checkHidingForm(boxElts,false);
			}
		}
}

	if (window.attachEvent) window.attachEvent("onload", sfHover);
	
	function checkHidingForm(boxes,b){
		
			switch(b){
				case true:
					for(var a=0; a < boxes.length; a++){
						boxes[a].style.visibility="hidden";
					}
				break;
				
				case false:
					for(var a=0; a <boxes.length; a++){
						boxes[a].style.visibility="visible";
					}
				break;
			}
	}
	
	function getIESelectBoxes(){
		if(document.getElementById("headerForm")!=null){
			var boxes=new Array();
			var leform=document.getElementById("headerForm");
			for(var i=0;i<leform.length;i++){
				var elt= leform.elements[i];
				if(elt.className.indexOf("hideable") !=-1)boxes[boxes.length]=elt;
			}
			return boxes;
		}
		return;
	}
// ]]>
	// modif pour allumer menu

    function allumeColorTopMenu(numMenu) {
        var i = 1;
        for (i = 1; i <= 6; i++) {
            var id = 'TexteSize' + i;
            
            if (numMenu == i) {
           
            var classNom= 'TexteSizeColor' + i;
    
            document.getElementById(id).className = classNom;
            }
            else {
                var classNom = 'TexteSize' + i;
                document.getElementById(id).className = classNom;
            }
        };
    }

//getElementById pour tous navigateur *************** GET ELEMENT BY ID POUR TOUS NAVUIGATEUR !!!!!!!!!!!! top...
if (!document.getElementById) {
    if (document.all) {
        document.getElementById = function() {
        if (typeof document.all[arguments[0]] != "undefined") { return document.all[arguments[0]] } else { return null }
            }
     } else if (document.layers) {
        document.getElementById = function() {
            if (typeof document[arguments[0]] != "undefined") { return document[arguments[0]] } else { return null }
            }
     }
}