That looks fine. mIRC will always cycle through the list of ports you have defined for a server in the servers list.