/**
 * Reload für Netscape Resize-Bug
 */
if( document.layers ){
  origWidth= innerWidth;
    origHeight= innerHeight;
    onresize= function reDo() {
	if( innerWidth!=origWidth||innerHeight!=origHeight ) {
      location.reload();
    }
  }
}