<!--
function AutoResizeMainFrame()
{
  var leftheight = document.getElementById('leftpanel').contentWindow.document.body.scrollHeight + 20
  var rightheight = document.getElementById('rightpanel').contentWindow.document.body.scrollHeight + 20
  var newheight = document.getElementById('mainframe').contentWindow.document.body.scrollHeight + 50
  if (newheight < leftheight)
    newheight = leftheight
  if (newheight < rightheight)
    newheight = rightheight
  document.getElementById('mainframe').style.height = newheight + "px"
  document.getElementById('leftpanel').style.height = newheight + "px"
  document.getElementById('rightpanel').style.height = newheight + "px"
}
// -->