( 25 , 719 .)