function playAudio(myAudio) {
	flg = myAudio.indexOf(".mp3", 0);
	myAudioName = myAudio.substring(0, flg);
	myAudioFile = 'auname/panel-' + myAudioName + '.html';
	panel.location.href = myAudioFile;
}