25458 ) ( 42417 .)