(window.onresize = function () {

  if (window.esy_headnotused) {
    var spacer = 30;
  } else {
    var spacer = 57 + 30;
  }

  if ((nh = document.body.clientHeight - spacer) > 0) {
    document.getElementById('master_table').style.height = nh
  }

})()