They are converted to mp3 - I think this site is a very popular way to do this from youtube. And most songs are fine.
http://www.youtube-mp3.org