( 10 , 713 .)