Question: quelle est la population de l'irlande et de l'irlande du nord ?
Answer: 6712000.0; 6712000