( 25 192 .)