A web-based music player using HTML5/WebAudio