demo_json_decode2.php: