( 13 , 831 .)