function onLoadEx() {
	onResizeEx();
}

function onResizeEx() {
	dim=getInnerDim();
	ctrl = document.getElementById("bodyid");
	if (!ctrl)
		return;
	var d=dim[1] - 165;
	var h = ctrl.offsetHeight;
	if (d < 1 || h > d)
		return;
	ctrl.style.height=d;
}