import plugin, dictdata
zipcodes = dictdata.Numerical("zipcodes.json")
def has_zipcode(num):
return num in zipcodes
def get_zipcode(num):
return zipcodes[num]