// ---------------------
function paginer_ (_n) {
// --------------
	var f = document.forms["paginer"] ;
	f["page"].value = _n ;
	f.submit() ;
}