// JavaScript Document
function GetPageHeight(){
	var docHeight;
	if (typeof document.height != 'undefined') {
		docHeight = document.height;
	}
	else if (document.compatMode && document.compatMode != 'BackCompat') {
		docHeight = document.documentElement.scrollHeight;
	}
	else if (document.body && typeof document.body.scrollHeight != 'undefined') {
		docHeight = document.body.scrollHeight;
	}
	return docHeight;
}

function adjustMenuBar(){
	var myHeight = GetPageHeight() - 154;
	 document.getElementById('nav').style.height = myHeight + 'px';	
}