Une solution pour des musiques aléatoires mp3 sur une page web

salutations amicales,
j'ai eu du mal à le trouver sur internet alors autant partager ce script ( merci au concepteur )

javascript à mettre sur une page html (avant le </body> de fin de page - les musiques étant dans un dossier nommé audio ), les musiques en mp3 changeant aléatoirement à chaque ouverture de la page concernée,

<script>
var sound1="audio/DH1.mp3"
var sound2="audio/DH2.mp3"
var sound3="audio/DH3.mp3"
var sound4="audio/DH4.mp3"
var sound5="audio/DH5.mp3"
var sound6="audio/DH6.mp3"
var sound7="audio/DH7.mp3"
var x=Math.round(Math.random()*7)
if (x==0) x=sound1
else if (x==1) x=sound2
else if (x==2) x=sound3
else if (x==3) x=sound4
else if (x==5) x=sound5
else if (x==6) x=sound6
else x=sound7
if (navigator.appName=="Microsoft Internet Explorer")
document.write('<bgsound src=""quot;""'+x+'"'+' loop="infinite">')
else
document.write('<embed src=""quot;""'+x+'"'+'hidden="false" border="0" width="140" height="60" autostart="true" loop="true">')
</script>

c'est un script peut-être pas propre, mais il a l'avantage de fonctionner,...