Question: What is the capacity of the stadium that is part of Ireland Premier Division and located in Northern Ireland ?
Answer: 3,700