function setNavBarHeight()
{
	var myBox = document.getElementById("nav");
	var mySecondBox = document.getElementById("content_outer");
	
	if (mySecondBox.scrollHeight >600)
	{
		alert(mySecondBox.scrollHeight);
		alert(window.document.body.height);
		
		myBox.style.height = mySecondBox.scrollHeight + 80;
	}
	else
	{
		myBox.style.height = document.body.offsetHeight-4;
	}
	mySecondBox.style.height = document.body.offsetHeight-85;
}

function route()
{
	window.open("../aspx/routenplaner.html","","width=220,height=250,scrollbars=no,menubar=no");
}