( 12203 , ]^