^ ( 10235 .)