<!--
moz=document.getElementById&&!document.all
mozHeightOffset=20
function resize_iframe(){
document.getElementById("main_frame").height=100
document.getElementById("main_frame").height=window.frames["main"].document.body.scrollHeight+(moz?mozHeightOffset:0)
}
// -->