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

function reDo() {
  if ((innerWidth != origWidth) || (innerHeight != origHeight))
    window.history.go(0);
}

if (NS4) onresize = reDo;