( 25 845 .)