<?php $arr = (array)json_decode('{"9999":true}'); var_dump(isset($arr['9999']));
You have javascript disabled. You will not be able to edit any code.