function ico(num, comm) {
	if (comm == "on") {
		document.getElementById("icon-" + num).src = "/images/icon_" + num + "_on.gif";
	} else if (comm == "off") {
		document.getElementById("icon-" + num).src = "/images/icon_" + num + "_off.gif";
	}
}

function mnu(num, comm) {
	if (comm == "on") {
		document.getElementById("menu-" + num).src = "/images/knn_" + num + "_on.gif";
	} else if (comm == "off") {
		document.getElementById("menu-" + num).src = "/images/knn_" + num + "_off.gif";
	}
}