( 25 , 001 .)