25518 ) ( 42475 .)