In this video, what is the tune?

https://www.facebook.com/djmagazine/videos/10155325218988796/

Thanks in advance! :wave:

EDIT; Got an ID already after just posting this, sorry! Can delete...