function reDo(){ window.location.reload() }
        window.onresize = reDo;