function fjEqualizeDivHeight()
{
	//Cette fonction permet de mettre à la même hauteur : div_menu, div_main et div_right
	var divDefHeight = 600;
	var divMenuHeight = divDefHeight;
	var divMainHeight = divDefHeight;

	divMenu = window.document.getElementById("div_menu");	
	divMain = window.document.getElementById("div_main");
	
	//Collect heights of Div
	if (divMenu.offsetHeight)
		{divMenuHeight = divMenu.offsetHeight;}
	else if (divMenu.style.pixelHeight)
		{divMenuHeight=divMenu.style.pixelHeight;}	
	else
		{divMenuHeight=divDefHeight;}
	
	if (divMain.offsetHeight)
		{divMainHeight = divMain.offsetHeight;}
	else if (divMain.style.pixelHeight)
		{divMainHeight=divMain.style.pixelHeight;}	
	else
		{divMainHeight=divDefHeight;}

	var MaxHeight = 600;
	MaxHeight = Math.max(divMenuHeight, divMainHeight);
	
	//alert('max height ok');
	
	//Applying the maximum height to all div
	if (divMenuHeight<MaxHeight)	{divMenu.style.height=MaxHeight+'px';}
	if (divMainHeight<MaxHeight)	{divMain.style.height=MaxHeight+'px';}
}