HTML页面上有多个音频文件，一次只需要播放一个

<audio id="audio1" src="audio1.mp3"></audio>
<audio id="audio2" src="audio2.mp3"></audio>
<audio id="audio3" src="audio3.mp3"></audio>

var audio1 = document.getElementById("audio1");
var audio2 = document.getElementById("audio2");
var audio3 = document.getElementById("audio3");

audio1.addEventListener("play", function() {
  audio2.pause();
  audio3.pause();
});

audio2.addEventListener("play", function() {
  audio1.pause();
  audio3.pause();
});

audio3.addEventListener("play", function() {
  audio1.pause();
  audio2.pause();
});

audio1.play(); // 播放第一个音频