NS4 = document.layers;
if (NS4) {
origWidth = innerWidth;
origHeight = innerHeight;    }
function reDo() {
if (innerWidth != origWidth || innerHeight != origHeight) 
location.reload();  }
if (NS4) onresize = reDo;