( 25 , 872 .)