function setHeight(what1,what2){
height1=document.getElementById(what1).offsetHeight;
height2=document.getElementById(what2).offsetHeight;
if (height1>height2){document.getElementById(what2).style.height=height1+'px';}
if (height2>height1){document.getElementById(what1).style.height=height2+'px';}
if (height1==height2){return;}
}
setInterval("setHeight('maincontent','navbar')",1);