function fixheight() {
var maxH = 0;
var ids = ["left","right"];
// find the highest column
for (var i=0;i<ids.length;i++) {
var d = document.getElementById(ids[i]);
if (d.offsetHeight > maxH) maxH = d.offsetHeight;
}
// set them all to be that height
for (var i=0;i<ids.length;i++) {
var d=document.getElementById(ids[i]);
d.style.height = maxH+"px";
}
}