25871 . ) ( 10457 .)