<?php $a = json_decode('{"7":"value1","8":"value2","9":"value3","13":"value4"}',TRUE); var_export($a); var_dump(isset($a[7]), isset($a['7']));
You have javascript disabled. You will not be able to edit any code.