Unless you have super expensive headphones where you actually hear the difference in super high quality audio, I'd highly recommend exporting your music in .ogg at the lowest quality setting. You won't hear any compression, and your music will be under 2 megabytes most of the time. You should completely avoid .mp3.