( 20 , 715 .)