( 25 , 865 .;