listing 8.1 JSON string