function MM_rePage(init) {
  if (init==true) with (navigator) {if ((appName!="Netscape")&&(parseInt(appVersion)>=4)) {
    hoehe=document.all.hk.offsetHeight; breite=document.all.hk.offsetWidth; onresize=MM_rePage; }}
  else if (document.all.hk.offsetWidth!=breite || document.all.hk.offsetHeight!=hoehe) location.reload();
}
MM_rePage(true);