An MP3 file in the default player