如何使用Javascript更改音频源

我正在用css/Javascript/html做一个个人项目 我的音频有点问题。 情况是，我有一个音频播放尽快 页面加载（可以正常工作），但在HP设置为0后，我需要音频 改变。一旦我遇到这种情况，音频就会被切断

<audio id="myAudio" src="BattleTheme.mp3" type='audio/mp3'></audio>

JavaScript代码：

 function intervalDone(){
   var y=document.getElementById("message");    
   if(h1<=0){
    document.getElementById('att').src="backgrounds/spacertransparent1.png";
    document.getElementById('slaz').src="characters/slayerzach/slayerzach-faintTransparent.png";
    document.getElementById('myAudio').src="BattleWin.mp3";
    y.innerHTML="<center>SlayerZach has fainted, FighterDan13 Wins.</center>";
    document.getElementById("butAtt").disabled = true;
    document.getElementById("butItems").disabled = true;
    document.getElementById("butRun").disabled = true;
       }
   }

函数intervalDone（）{
var y=document.getElementById（“消息”）；
如果（H1）这个问题已经在这里得到了回答：我正在寻找一个纯JavaScript的答案，但无论如何，谢谢你……你是不是碰巧在使用iPad/iPhone？