What is the population of the Republic of Ireland?

• about 1 million
• about 4,5 million
• about 10 million