( 8 , 713 .)