origWidth = window.innerWidth;
origHeight = window.innerHeight;
window.onresize = reDo;
function reDo()
 {
  if (document.body.clientWidth==origWidth && document.body.clientHeight==origHeight) return;
  window.location.reload();
 }