( 11 , 715 .)