// JavaScript Document

function b_resize(){  
  pg = (document.getElementById('page').offsetHeight+10);
  if (ds = document.getElementById('right')){    
    ds.style.height = pg+'px';
    document.getElementById('left_panel').style.height = pg+'px';
  }
  return true;
}