var settings = {
	players: function(location, players){
		var defaults = {
			html5: {type:"html5"},
			flash: {type:"flash", src:"/jwplayer/player.swf"},
			download: {type:"download"}
		};
		if (!players){
			return [defaults.html5, defaults.flash, defaults.download];
		} else {
			var result = [];
			for (var player = 0; player < players.length; player++) {
				result.push(defaults[players[player]]);
			} 
			return result;
		}
	}
};