JSP页面无操作3秒自动刷新

<script type="text/javascript">
	var optAction = false;      //定义判断条件false，if(!optAction)来判断
    var autoTime;               //定时器
    var body = document.getElementsByTagName("body")[0];
 
    //当有鼠标和键盘激活时清除自动刷新页面定时器
    body.onkeydown = body.onmousemove = body.onclick = function(){
        optAction = true;           //让判断条件为true
        clearTimeout(autoTime);     //清除自动刷新页面定时器
        autoTime = setTimeout(function(){
            optAction = false;      //页面无操作后3秒，重时开启定时器
        },3000)
    }
 
    //每三秒自执行
    setTimeout(function(){
        setInterval(function(){
            if(!optAction){
                window.location.reload();
            }
        },3000)
    },5000)
	</script>