function PlaySound() {
  document.all.sound.src = 'air01.wav';
}