function setFlashWidth(id, w)
{
	document.getElementById(id).style.width = w + "px";
}
function setFlashHeight(id, h)
{
	document.getElementById(id).style.height = h + "px";		
}
function setFlashSize(id, w, h)
{
	setFlashWidth(id, w);
	setFlashHeight(id, h);
}
function warstwy(id)
{
  document.getElementById("flash_menu").style.zIndex = 20;
  document.getElementById("flash_film").style.zIndex = 1;
}