<?php $array = json_decode('{"1":"1","2":"1","3":"1","4":"1","12":"1"}'); var_dump($array); var_dump(isset($array->{12}));
You have javascript disabled. You will not be able to edit any code.