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