<!--
 function dheight(){
 var t1=(document.getElementById('content-left').offsetHeight)+"px";
 document.getElementById('content-right').style.height=(t1); }
//-->