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