( 25 , 841 .)