( 10 , 712 .)