( 25 258 .)