function PopCorpsMenu(num) {
	document.getElementById("cmenu" + num).style.display = "inline";
}
function HideCorpsMenu() {
	for (i = 0; i < CorpsMenuCount; i++) {
		document.getElementById("cmenu" + i).style.display = "none";
	}
}
function menuBackgroundOn(obj) {
	obj.style.background = "#303030";
}
function menuBackgroundOff(obj) {
	obj.style.background = "#4D4D4D";
}