{ "external_value": 11}