function switch_menu(lang, number, direction){
	document.getElementById("mn_"+number).src = "/img/mn_"+number+"_"+lang+"_"+direction+".png";
}