( 25 500 .)