static void playMP3Snippet(S snippetID) {
  if (snippetID != null)
    playMP3AndWait(loadMP3Snippet(snippetID));
}