a python script for querying JSON