( 25 , 023 .)