function ks_setMenuItemHover(id1, id2, hover)
{
	if (hover) {
		document.getElementById(id1).className = 'mic_hover';
		document.getElementById(id2).className = 'mid_hover';
	}
	else {
		document.getElementById(id1).className = 'mic_inactive';
		document.getElementById(id2).className = 'mid_inactive';
	}	
}