function adjust_sizes(first, last)
{
    var max = 0; 
    for(i=first;i<last;i++) {
        height = document.getElementById(i).offsetHeight; 
        if (height>max) max=height;
    } 
    for(i=first;i<last;i++) { 
        document.getElementById(i).style.height=max+"px";
    }
}

function wopen(url, w, h)
{
// Fudge factors for window decoration space.
 // In my tests these work well on all platforms & browsers.
w += 32;
h += 96;
 var win = window.open(url,
  "popup",
  'width=' + w + ', height=' + h + ', ' +
  'location=no, menubar=no, status=no, toolbar=no, scrollbars=no, resizable=no');
 win.resizeTo(w, h);
 win.focus();
}