( 23 , 025 .)