function PlaySound(url) {
  document.all.sound.src = url;
}