function $(obj) {
	return document.getElementById(obj);
}

function setTab(m,n) {
	var tli = $("tabMenu" + m).getElementsByTagName("li");
	var mli = $("tabDiv" + m).getElementsByTagName("div");
	for (i=0; i<tli.length; i++) {
		tli[i].className=i==n?"select":"";
		mli[i].style.display=i==n?"block":"none";
	}
}