Though of course Northern Ireland codes (all beginning with the Belfast prefix BT) are included in the Royal Mail database. The Republic is reportedly planning a full alphanumeric post code system similar to the UK one, but at the moment only Dublin has district codes: much the same situation as in the UK until the 1960s.