25 , 715 .)