function decotator_paging_inputpageno(jumppagenoinput, jumppagebutton) {
	var pageno = jumppagenoinput.value.trim();
	if(pageno != '') {
		pageno = pageno.replace(/[^\d]+/g,'');
		jumppagenoinput.value = pageno;
		if(pageno != '') {
			jumppagebutton.disabled=false;
		} else {
			jumppagebutton.disabled=true;
		}
	} else {
		jumppagebutton.disabled=true;
	}
}

function decotator_paging_jumppageno(url,jumppagenoinput) {
	location.href=url.replace(/\{pageno\}/g,jumppagenoinput.value.trim());
}