( 10 , 772;