( 40 , 713 .)