window.onload=function(){if(!top.$){return 
}var F=top.$(this.document),G=F.find("#content"),C=F.find("#content > table").height(),D=top.$("#MainFrame"),A=top.$("#maindiv"),B,E=7;
if(C+E>G.height()){G.height(C+E);
D.height(G.position().top+C+10);
B=D.height()+D.position().top;
if(B>A.height()){A.height(B+5)
}}else{G.css("height","");
D.css("height","");
A.css("height","")
}};