function checkContentHeight()
{
	var content = document.getElementById("content");
	var right_nav = document.getElementById("navigation_right");
	if(content.offsetHeight<right_nav.offsetHeight)
	{
		content.style.height = right_nav.offsetHeight+"px";
	}
}

checkContentHeight();