// JavaScript Document
<!--
onload=function() {
	var divh = document.getElementById('Container').offsetHeight;
	var target = document.getElementById('Nav');
	target.style.height = ( divh + 50 ) + "px";
}
//-->