How many students attend Trinity College in Dublin?

About 17,000 students attend Trinity College Dublin.