^ ( 4243 .)