function menu(a){
	document.getElementById("m"+a).style.fontWeight = "bold";
	document.getElementById("m"+a).style.backgroundImage = "none";
	document.getElementById("m"+a).style.cursor = "default";
}