<!--
   NS4 = document.layers;
   if (NS4) {
      origWidth = innerWidth;
      origHeight = innerHeight;
   }

function reDo() {
   if (NS4) {
   	if (innerWidth != origWidth || innerHeight != origHeight)
      location.reload();
	}else{
	  window.location.reload()
	}
}

if (NS4) {onresize = reDo;
}else{window.onresize = reDo;}
//-->

