s ( 25670 .)