An online audio player written in HTML5