function look(){
      var doc = document.getElementById('contenttext');

      var marge = 161;
        
      if (document.all){ // ok I.E  --> si la div fait 600px --> affiche H = 600
        
            H = doc.offsetHeight;
           // alert('Hauteur initiale : ' + H);

          
          hauteur = H - marge;
          //alert('Hauteur finale : ' + hauteur);
      }


      else{  // ok firefox.0.9.2 , pas mozilla.1.0 ni netscape.7.02 --> si la div fait 600px --> affiche H = 600px
       
            H = document.defaultView.getComputedStyle(doc, null).height;
            var hauteur = H.substr(-H.length,H.length-2) - marge ;
        
   // alert('Hauteur initiale : ' + H);
        
            
             //alert('Hauteur finale : ' + hauteur);
             //alert(document.defaultView.getComputedStyle(doc2, null).height);
    }
          
      document.getElementById("menu_top").style.height=hauteur+"px";

    }