[1] [CITE@en[Postal addresses in the Republic of Ireland - Wikipedia]], [TIME[2023-05-11T04:40:10.000Z]], [TIME[2023-05-25T04:40:56.839Z]] <https://en.wikipedia.org/wiki/Postal_addresses_in_the_Republic_of_Ireland#Eircode>