// jump to url
var maxTime;
var numDiv;
var URL;
var setId;
function update(){
	if(maxTime>0){
		maxTime-=1000;
		var timeNum=maxTime/1000;
		numDiv.innerHTML='The page will jump index after '+timeNum+' second.';
	}else{
		clearInterval(setId);
		location.href=URL;
	}
}
function jumpStart(divId,maxNum,url){
	URL=url;
	numDiv=document.getElementById(divId);
	numDiv.innerHTML='The page will jump '+url+' after '+maxNum/1000+' second.';
	maxTime=maxNum
	setTimeout(jumpInterval,1000);
}
function jump(url){
	location.href=url;
}
function jumpInterval(){
	setId=setInterval(update,1000);
}