Converting a wav file to mp3 for download to mp3 player