function OnLoad()
{
	var containerDiv = document.getElementById("container");
    var navDiv = document.getElementById("nav2");
	if(containerDiv != null && navDiv != null)
	{
        if(containerDiv.offsetHeight < navDiv.offsetHeight)
        {
            containerDiv.style.height = navDiv.offsetHeight + 'px';
        }
	}
}