var newVersion=20201116152600;
if(typeof(nowVersion)=="undefined" || nowVersion!=newVersion){
  location.reload();
}