function setHeight(what1,what2){
height1=document.getElementById(what1).offsetHeight;
height2=document.getElementById(what2).offsetHeight;
if (height1>height2){document.getElementById(what2).style.height=20+height1+'px';} // 20's correct for menu offset
if (height2>height1){document.getElementById(what1).style.height=-20+height2+'px';}
if (height1==height2){return;}
}
setInterval("setHeight('menu','contentBox')",10);