function divheight() {
        var l=document.getElementById('frame-left').offsetHeight
                r=document.getElementById('frame-right').offsetHeight
        var maxheight=Math.max(l,r)
        document.getElementById('frame-left').style.height=maxheight+'px'
        document.getElementById('frame-right').style.height=maxheight+'px'
        }
        onload=function() { divheight();}