25323 ) ( 42317 .)