function changecss(ss,ss1){
	document.getElementById(ss).className = ss1;
	}
	
	function changebutt(butt_id,on_off){
		if (on_off==1) {
			document.getElementById(butt_id+"_1").className = "men2_1";
			document.getElementById(butt_id+"_2").className = "men2_2";
			document.getElementById(butt_id+"_3").className = "men2_3";
		}else {
			document.getElementById(butt_id+"_1").className = "men1_1";
			document.getElementById(butt_id+"_2").className = "men1_2";
			document.getElementById(butt_id+"_3").className = "men1_3";
		}
	}