function set_div_height() {
  if (document.getElementById('main_cl_d') != null) {
     var tnum = document.getElementById('tnum').innerHTML;
     document.getElementById('main_cl_d_b_' + tnum).style.borderBottom="none";
     document.getElementById('main_cl_d_b_1').style.marginTop="8px";
     document.getElementById('main_cl_d_b_' + tnum).style.paddingBottom="13px";
     //alert(tnum);
  }
}