val = \json_decode($val, true); } }