tcd.ie has address 15.197.242.139
tcd.ie has address 3.33.249.246