25530 ) ( 42476 .)