that certainly was one of the tunes the fans were singing, as mentioned by the commentator at the time but not the one I'm looking for. Suppose I shouldn't expect an answer from such a vague question. The one I'm looking for seems to be used by almost every league club when a goal is scored/teams arrive/half time etc and it's really bugging me!
If they were singing it again tonight, I think it's called Tom Hark, covered by many artists including the Piranhas. (de der de dum,de der de dum, de der dede dum, de der de dum) - that sounded right in MY head anyway!