// JavaScript Document

function setheight(newheight)
{
  var main_container = 710;
  var body_container = 583;
  document.getElementById("main_container").style.height = main_container + newheight + 'px';
  document.getElementById("body_container").style.height = body_container + newheight + 'px';
}