var ns = (navigator.appName=="Netscape" && parseInt(navigator.appVersion)>=4)?true:falsevar ie = (navigator.appName=="Microsoft Internet Explorer" && parseInt(navigator.appVersion)>=4)?true:falsevar ns6 = (document.getElementById&&!document.all)var safari = new String(navigator.appVersion);var expr=/safari/gi;Saf = safari.search(expr);var navigsaf = (Saf!=-1)?true:false;function getLayer(name) {  if (ie)    return eval('document.all.' + name);	if (ns6)		return document.getElementById(name);  return null;}function getHeight(){	if(ns6) haut=window.innerHeight;	else if (ie  && navigator.appVersion.indexOf("Macintosh") != -1) haut =document.body.offsetHeight-15;	else haut = document.documentElement.clientHeight;		return haut;}function ajust(div1,div2,menu){	layer1=getLayer(div1);	layer2=getLayer(div2);	if(layer1.offsetHeight>layer2.offsetHeight+(menu+30)){		layer2.style.height=layer1.offsetHeight-menu+"px";	}	else{		layer1.style.height=layer2.offsetHeight+menu+30+"px";		layer2.style.height=layer2.offsetHeight+30+"px";	}	}