( 6 , 713 .)