25178 ) ( 42171 .)