Internet radio from around the world: more than 100,000 radio stations of different genres and directions