Lot of  9   coins of  Ireland