25500 ) ( 42411 .)