// JavaScript zum automatischen Resize des iFrames auf der Hauptseite

function pruefe() {
  if(document.all&&!window.opera) {
  var a=document.all.frmdetail;
  frmdetail.document.body.scroll='no';

  } else {

  var a=document.getElementsByName('frmdetail')[0];
  a.scrolling='no';
  }

  var a=document.getElementsByName('frmdetail')[0];
  frmdetail.document.getElementsByTagName('body')[0].style.overflow='hidden';
  var b=frmdetail.document.getElementById('cont');
  if(a.style.height != eval(b.offsetHeight+35)+'px') {
  a.style.height=eval(b.offsetHeight+35)+'px';
  }
  }