function setFlaMenuState(tint) {
	document.getElementById("menu").setVariable("viewId_int", tint);
}