( 13 , 715 .)