<!--

function audio(id_button, id_audio, interval) {
// id_button is the id of the audio button
// id_audio is the id of the audio object
// interval is the duration of the audio file in second

  var id_timeout;
  var theButton = document.getElementById(id_button);
  var theAudio = document.getElementById(id_audio);

  if (theButton.value == "Play Audio") {
    try {
      theAudio.Rewind();
    } catch (err) {
    }
    theAudio.Play();
    theButton.value = "Stop Audio";
    id_timeout = setTimeout("document.getElementById(\""+id_button+"\").value = \"Play Audio\"", interval*1000);
  } else {
    clearTimeout(id_timeout);
    theAudio.Stop();
    theButton.value = "Play Audio";
  }

}
	
-->