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