1<html>
2<script>
3  function play(media_file) {
4    player.src = media_file;
5    player.play();
6  }
7</script>
8<body>
9  <audio controls id="player"></audio>
10</body>
11</html>
12