( 7 , 713 .)