<!--

// javascript source code
// (c) 2009 marcus wilhelm - programat4
// mailto:info@programat4.de
// all responsibility for use remains with the user

function checkWSize(afH){
  if (window.innerHeight) {fH = window.innerHeight}
  else if (document.all) {fH = document.all.dasFenster.offsetHeight}
  if (afH != fH) location.reload(); //history.go(0); //
  setTimeout ('checkWSize(fH)',100);
}

//-->
