ogg to mp3

[Will Lomas]

        hi


which utility converts ogg files to mp3?
i have done it before but i forget, sorry
thanks will