// Handles browser resizing problem for navigator 4
if (document.layers) {
  if (!window.orig_width) {
    window.onresize = reset_layers;
    window.orig_width = window.innerWidth;
    window.orig_height = window.innerHeight;
  }
}

function reset_layers() {
  if (window.innerWidth != orig_width || window.innerHeight != orig_height) {
    location.reload();
  }
}