Rather than worrying about the specific server, use the network name, especially if the network is already in mIRC's server list.