// (c) Pavel Junek

function showMenu(id, active) {
	var obj_item = document.getElementById("menu" + id);
	if (obj_item) {
		if (active) {
			obj_item.className = "menuItemSelected";
		} else {
			obj_item.className = "menuItem";
		}
	}
}