demo_json_decode6.php: