var RefreshID=setInterval(function(){window.location.href=window.location.href},600000);
function StopRefresh(){try{clearInterval(RefreshID)}catch(a){}}function RestartRefresh(){RefreshID=setInterval(function(){window.location.href=window.location.href},600000)};