25871 . ) ( 10-157 .)