25529 ) ( 42431 .)