//	These are shared by archive and streaming players:

// this tells the Parent window the media player is closing
function closeWindow(){
	this.close();
	try{
		top.opener.window.changeButton("off");
		}
	catch(err){	}
}

// This function displays the settings pane

function openSettings()	
{
	document.getElementById('playlist_content').innerHTML = plchooser.getSettingsHTML();
}

// This function is called when a user changes the preferred format.  It writes the cookie and then just reloads the page.

function changeSettings(pref)
{
	plchooser.setCookie('listenfmt',pref);
	window.location.reload();
}

// this is the function you can use to change pages on the opener file
function openPage(theFile){
if(top.opener){
	top.opener.window.location.href = theFile;
	}else{
	window.open(theFile);
	}
}