// JavaScript Document

var audioPlayerURL = 'audio/player/audioplayer.html';
var audioPlayerWidth = 450;
var audioPlayerHeight = 200;
function launchAudioPlayer(theFile, theTitle) {
//	alert('launching the audio player');
	window.open(audioPlayerURL + '?file=' + theFile + '&title=' + encodeURI(theTitle), 'audioplayer', 'width=' + audioPlayerWidth + ',height=' + audioPlayerHeight);
}