if (document.getElementById("player_swf_id")) var initialDimPlayer = parseInt(document.getElementById("player_swf_id").style.height);
function dimPlayer(h)
{
		if (!h) return;
		if (h == 1) h = initialDimPlayer;
		if (h < initialDimPlayer) h = initialDimPlayer;
		var oPlayer = document.getElementById("player_swf_id");
		oPlayer.style.height = (Math.ceil(h) + 10) + "px";
}