function playSound(idx) {
 if (document.embeds) {
  document.embeds["sound"+idx].play();
 }
}