( 23 , 713 .)