extraction of json