What format are the videos?

MP4, Especially edited for any program to DJ.