function on(a){
	document.getElementById('mn_'+a).className="mna";
}
function off(a){
	document.getElementById('mn_'+a).className="mn";
}