var hoehe;

function getheight()
{
  if (window.innerHeight) {
    return window.innerHeight;
  } else if (document.body && document.body.offsetHeight) {
    return document.body.offsetHeight;
  } else {
    return 0;
  }
}

function dostretch()
{
  vpheight = getheight();
  document.getElementById("stretch").height = vpheight - 207;
}

function doresize()
{
  if (hoehe != getheight()) {
    dostretch();
    hoehe = getheight();
  }
}

function initresize()
{
  window.onresize = doresize;
  hoehe = getheight();
  dostretch();
}