// Javascript Sound Player 
function PlaySound(url) {
  document.all.sound.src = url;
}