An HTML5 multimedia player