function GetVisibleHeight() {
	if (window.innerHeight)
		return window.innerHeight;
	if (document.body.clientHeight)
		return document.body.clientHeight;
	return 800;
} /* GetVisibleHeight */

function FixHeightDiv() {
  var divFramesObject = document.getElementById("divFrames");
  if (divFramesObject != null) {
    divFramesObject.style.height = (GetVisibleHeight() - 107) + "px";
  }
} /* FixHeightDiv */


if (window.addEventListener) //DOM method for binding an event
	window.addEventListener("load", FixHeightDiv, false)
else if (window.attachEvent) //IE exclusive method for binding an event
	window.attachEvent("onload", FixHeightDiv)
else if (document.getElementById) //support older modern browsers
	window.onload=FixHeightDiv

window.onresize = FixHeightDiv;