( 4 , 713 .)