( 11 , 713 .)