Dublin is the capital city of the Republic of Ireland . The Greater Dublin Area has a population of 1,187,176 people .
This area is sometimes known as the Dublin Region .