Streaming Audio Format

I am researching the inclusion of Flash in a PHP/MySQL application I am building to stream audio. I have done a lot of searching, but have yet to find which audio formats that Flash can stream!

I know that MP3’s can be streamed. Can anyone shed any light on other supported formats?



I could be wrong, but I believe wav is another possibility.