Yes, GhostSurf has an addon for IRC, and it tells me to use the port 7216. The proxy port for internet is 7212. I have tried them both, when I use 7212, it says firewall: closed connection, when I use 7216, it times out.