( 9 , 713 .)