function pager(stran)
{
	var stran = (stran == null) ? 0 : stran ;
	document.searchForm.page.value = stran ;
	document.searchForm.submit() ;
}