( 12 , 831 .)