Thanks.
http://searchirc.com is the answer I guessed must be there somewhere.
One more question:- What does <img src="/images/graemlins/laugh or smile etc mean?

Is it a type of smiley or do I enter it somewhere?