function getCheckedValue(radioObj) {
// return the value of the radio button that is checked
// return an empty string if none are checked, or
// there are no radio buttons
	if(!radioObj)
		return "";
	var radioLength = radioObj.length;
	if(radioLength == undefined)
		if(radioObj.checked)
			return radioObj.value;
		else
			return "";
	for(var i = 0; i < radioLength; i++) {
		if(radioObj[i].checked) {
			return radioObj[i].value;
		}
	}
	return "";
}
function player(fn) {
// launch QuickTime or Flash mp3 player depending on radio button
	var x = getCheckedValue(document.forms['radioExampleForm'].elements['number']);
	if (x == 0) 
		open('./qt2.html?'+fn,'Free', 'resizable=yes,width=250,height=130');
	else 
		open('./fl2.html?'+fn,'Free', 'resizable=yes,width=250,height=130');
}
function player2(fn) {
// launch QuickTime for enhanced podcast
		open('./qt2e.html?'+fn,'Free', 'resizable=yes,width=270,height=270');
}