, ( 25422 .)