function menuFix() 
   {
	mainDiv = document.getElementById("MAINDIV");
	menuDiv = document.getElementById("MENUDIV");
	if (menuDiv.clientHeight < mainDiv.clientHeight) {
		menuDiv.style.height = mainDiv.clientHeight + 'px';
	}
}
	window.onload =  menuFix;