( 20 , 713 .)