( 7 , 831 .)