What was the club music?

Anyone have any idea what the club music was in the third piece? The hardcore electronica was what I'm looking for, and I can't tell if it was in the credits, I don't know Chinese. Definitely wasn't listed here though.