They used Hocus Pocus , a 39 year old song from Focus.

Just the song ………