function setHeight() {

minBodyHeight = 435;
minMenuHeight = 0;

//get height of body text

//alert("Height of body_br is" + document.getElementById('body_br').offsetHeight);

menuHeight = (document.getElementById('body_br').offsetHeight>435) ? 227 - (435 - document.getElementById('body_br').offsetHeight) : 0;

//if the height of body text is larger than 435, extend the menu to compensate
	if (document.getElementById('body_br').offsetHeight>435) {
document.getElementById('menu_span').style.height = menuHeight + 'px';
document.getElementById('menu_btm').style.height = menuHeight + 'px';
	}
	else {
		document.getElementById('body_br').style.height = 435 + 'px';
		document.getElementById('menu_span').style.height = 229 + 'px';
		document.getElementById('menu_btm').style.height = 229 + 'px';
	}
}