var browser = navigator.appName.match("Netscape")?"netscape":"ie";

	var p= new String()
	for (prop in document.all ){
	p += "document.all"+prop+"="+document.all[prop]+"***"
	}

if (browser=="netscape")	 
{
	var height_menugauche_without_offre= window.innerHeight -130; /* hauteur du document - (hauteur du bouton doc + hauteur du logo) */
	var height_menugauche_with_offre= window.innerHeight -320;
}
else
{
	var height_menugauche_without_offre;
	if (!navigator.appVersion.match("4")) /*ie 4 ne reconnaît pas offsetHeight */
		height_menugauche_without_offre = document.body.offsetHeight - 130; 
	else 
		height_menugauche_without_offre= 130;
}