/* <![CDATA[ */
var player = null;
function playerReady(thePlayer) {
	player = document.getElementById(thePlayer.id);
	printPlaylistData();
}
function createPlayer(thePlayer, theFile, theAutostart) {
	var flashvars = {
		file:theFile+".xml",
		autostart:theAutostart,
		shuffle:false,
		playlist:"bottom",
		playlistsize:"100",
        stretching:"fill",
        config:"/play/config.xml",
	    repeat:"none"
	}
	var params = {
		allowfullscreen:"true",
		allowscriptaccess:"always"
	}
	var attributes = {
		id:"player1",
		name:"player1"
	}
	swfobject.embedSWF("play/player.swf", "placeholder1", "400", "380", "9.0.115", false, flashvars, params, attributes);
}
/* ]]> */