All the bbc indents have the same tune; they just do different variations of it to fit the theme of each one. The jumping crowd one is a dance variation; the tai-chi one is done in a pan-pipe chillout style, etc. So I'm pretty sure it's not actually a real dance song or anything.