import plugin, dictdata

zipcodes = dictdata.Numerical("zipcodes.json")

def has_zipcode(num):
	return num in zipcodes

def get_zipcode(num):
	return zipcodes[num]