function $(element) {
  if (document.getElementById) element=document.getElementById(element);
    else if (document.all) element=document.all[element];
      else if (document.layers) element=document.layers[element];
  return element;
}

function init(){
  var lbdr=$('lbdr');
  var rbdr=$('rbdr');
  var ctnr=$('ctnr');
  var hght=ctnr.offsetHeight;

  lbdr.style.height=hght+'px';
  rbdr.style.height=hght+'px';

}