function next(){
 //前进
 window.history.forward(); 
}
function previous(){
 //后退
 window.history.back(); 
}
function jump(){
 //指定前进或后退页面数
 var num = document.getElementById("page").value; 
 window.history.go(num);
}