Okay,but where do I do this?

DeviantART is on the mIRC list of servers, but when the deviantART file is opened, just "random server" shows up.