function setDimensions(player_id, width, height) {
	player_el = document.getElementById(player_id);
	player_el.style.width = width + 'px';
	player_el.style.height = height + 'px';
}