function pageset(wert)
{
	document.form1.page_no.value = wert;
	document.form1.submit();		
}
function pageset2()
{
	document.form1.page_no.value = document.form1.page.value;
	document.form1.submit();		
}