function page(n) {
	document.inputform.page.value = n;
	document.inputform.submit();
}