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