function setMenuHeight ()
{
	var text_height = document.getElementById("text").offsetHeight;
	var menu_height = document.getElementById("menu").offsetHeight;
	
	if (text_height > menu_height)
	{
		document.getElementById("menu").style.height = (text_height-34)+"px";
	}
	else
	{
		document.getElementById("text").style.height = (menu_height-74)+"px";
	}
	
	
}