function go_to_result( n ) {
	document.getElementById( 'job_search_next_result' ).value = n;
	document.getElementById( 'job_db_form' ).submit();
}