# BigPond: Random server
Server -host irc.bigpond.com
