^ ( 12200 .)