if (document.layers){
          originalWindowWidth = innerWidth;
          originalWindowHeight = innerHeight;
          onresize=function() { if(innerWidth != originalWindowWidth || innerHeight != originalWindowHeight) location.reload() };
}