What is the command to join a server on mirc

/server <server address>
OR
Tools then Options... from the menubar at the top of the application. Once the mIRC Options window appears, go to categories (on the left hand side), expand Connect and choose Servers. From here find the server you want and double click on it.