These are the music files of Mario Kart DS, I converted them into ogg files so that the music can be added to your music on Trackmania United Forever