An HTML5 based media player