function Menu_getSelectedIndex(id) {
	var menu = document.getElementById(id);
	if (menu != null) {
		var selIndex = menu.getAttribute("selIndex");
		if (selIndex == null) {
			menu.setAttribute("selIndex", -1);
			selIndex = -1;
		}
		return selIndex;
	} else {
		return -1;
	}
}

function Menu_setSelectedIndex(id, index) {
	var menu = document.getElementById(id);
	if (menu != null) {
		menu.setAttribute("selIndex", index);
	}
}