Postal code for Oslo County, Norway