youtube miami video background song

anyone know the song playing in the background of this miami video on youtube.com? great electronic song
http://www.youtube.com/watch?v=DS6Q_GcU_M8