Israel switched from their old 5-digit postal code system to a newer 7-digit one back in 2013. (Wikipedia) To support both, the entry in countryInfo.txt should probably be updated to:
Code:
or similar. Thanks!
EDIT: Since posting the above, I also found out that the postal regex for Ireland doesn't match the Eircodes used in ireland. This would be a better regex for Ireland:
Code:
^[A-NP-Z][A-NP-Z0-9]{2}( ?[A-NP-Z0-9]{4})?$