function setFlashHeight(fff,newH)
{
	document.getElementById('navigation').style.height = newH+"px";
	document.getElementById('flashid').style.height = newH+"px";
        if (document.getElementById('movies')) {
          if (newH > 50) {
            document.getElementById('movies').style.visibility = "hidden";
          } else {
            document.getElementById('movies').style.visibility = "visible";
          }
        }
}