^ [ 12251 ) ]'