demo_json_decode5.php: