An example postcode for FK7 0DE is FK7 0DE (JSON).