// JavaScript Document
function setMenuHeight(newHeight){
	document.getElementById('top_navigation').height = newHeight;
	document.getElementById('flashContainer').style.height = newHeight + 'px';
}