<audio controls src="./music/rozy.wav" onplay="other_pause([0])">
Your browser does not support the
<code>audio</code> element.
</audio>
<audio controls src="./music/bab.wav" onplay="other_pause([1])">
Your browser does not support the
<code>audio</code> element.
</audio>
<script>
var a=document.getElementsByTagName("audio");
function other_pause(b){
for(i=0;i<a.length;i++){
if(!(i==b)){a[i].pause()};
}
}
</script>