( 25 , 865 .)