// JavaScript Document
function setFlashHeight(area, height) {
	var area = document.getElementById("menubar");
	//alert (area.style.height);
	area.style.height = height+"px";
	
}