Where do I get data on student numbers in the other universities in Ireland?

This information is available in the Higher Education Statistics section of the Higher Education Authority's website, at http://www.hea.ie/node/1557