function setDivHeights() {
var menuheight = document.getElementById("menuleft").offsetHeight;
var contentheight= document.getElementById("contentright").offsetHeight;
if (contentheight > menuheight) {
document.getElementById("menuleft").style.height = contentheight + "px";
}
else {
document.getElementById("contentright").style.height = menuheight-20 + "px";
}
}