^ ( 25280 .)