( 3 , 713 .)