function JumpPagedown(){
      var url;
	if (document.getElementById("downpage").value <= "${view.pageCount}" && document.getElementById("downpage").value > 0 && document.getElementById("downpage").value !="")
	{
	
       url = "${doc.filename}_"+(document.getElementById("downpage").value-1)+".html";
	
	 location.href = url; 
	 }
     else
	 {	
		url = "javascript:;";
		location.href = url; 
	 }
}