function chgmenu(id, mc)
{
	for (var i=1;i<8;i++)
	{
		if (document.getElementById("menu"+i) != null)
		document.getElementById("menu"+i).className = "normal";
	}
	document.getElementById("menu"+id).className = mc;
}