Thanks for that. I tried all those server numbers but none of them worked. Fortunately, I asked a friend to pop into the help service room and they kindly helped.
On of the helpful ircops gave my friend a server number to pass on to me to use that was completely different. (I have no idea how they got it)?.
Is there a way I can find the server number myself other than the ones listed above that don't seem to work for me?
Thanks again for your help, it is very much appreciated.