document.getElementById("mainleft").style.height = document.getElementById("mainright").offsetHeight + "px";