// JavaScript Document

function setDiv() {
  var wh = getWindowHeight() // Window Height
  var d = document.getElementById('central') // Get div element
  var dh = d.offsetHeight // "central" div height
  d.style.height = wh - 182 + 'px'; // Set  "central" div height to window height
  var col3 = document.getElementById('col3') // Get div element
  var col3h = col3.offsetHeight // "col3" div height
  col3.style.height = wh - 236 + 'px'; // Set  "col3" div height
  var col2 = document.getElementById('col2') // Get div element
  var col2h = col2.offsetHeight // "col3" div height
  col2.style.height = wh - 182 + 'px'; // Set  "col3" div height
}

function getWindowHeight() {
  var windowHeight = 0;
	
  if (typeof(window.innerHeight) == 'number')
    windowHeight = window.innerHeight;
	
  else {
		
    if (document.documentElement && document.documentElement.clientHeight)
      windowHeight = document.documentElement.clientHeight;
		
    else {
      if (document.body && document.body.clientHeight)
        windowHeight = document.body.clientHeight}; };
				
  return windowHeight;
};