function init() {
  var contentsHeight = parseInt(getWinHeight()) - 156;
  setEltHeight(getElt("nav_balk"),contentsHeight);
  setEltHeight(getElt("right_bar"),contentsHeight);
}

