function rel(x) {
  if (x == true) {
    with (navigator) {
      if (document.layers) {
        document.w = innerWidth;
        document.h = innerHeight;
        onresize = rel;
      }
    }
  }
  else if ((innerWidth != document.w) || (innerHeight != document.h)) history.go(0);
}
rel(true);