// launch_audio
function launch_audio_stream(path_to_player){
	window_width = 400;
	window_height = 170;
	window_left = (screen.width-window_width)/2;
	window_top = (screen.height-window_height)/2;
	window_details = "top="+window_top+",left="+window_left+",width="+window_width+",height="+window_height+",location=no,toolbar=no,menubar=no,scrollbars=no,resizable=no";
	audio_stream_window = window.open(path_to_player,"",window_details);
}