( 25 ) = : —=