function setMaxHeight()
{
	//var center = document.getElementById("texte");
	//var right  = document.getElementById("menu");

	if (document.getElementById)
	{
		var maxHeight = Math.max(xHeight("texte"), xHeight("menu"));
	
		xHeight("texte", maxHeight);
		xHeight("menu",  maxHeight);
	}
}

function addEvent(objObject, strEventName, fnHandler) {
	// DOM-compliant way to add an event listener
	if (objObject.addEventListener)
	{
		objObject.addEventListener(strEventName, fnHandler, false);
	}
	// IE/windows way to add an event listener
	else if (objObject.attachEvent)
	{
		objObject.attachEvent("on" + strEventName, fnHandler);
	}
}

// Playing with box heights with IE just makes awful things:
// degrade nicely by... doing nothing.
if (!window.attachEvent)
	addEvent(window, "load", setMaxHeight);