function adjust_frame(F){
  if(document.getElementById(F)) {
    var myF = document.getElementById(F);
    var myC = myF.contentWindow.document.documentElement;
    if(document.all) {
      myF.height = (myC.scrollHeight + 10);
    } else {
      myF.height = (myC.offsetHeight + 10);
    }
  }
}