( 16 , 713 .)