

function SetMainMenuStyle(menu_id, image_file, state) {
	document.getElementById(menu_id).src = '/images/' + image_file;
	if (state == 1) {
		default_menu_item = document.getElementById('menu_name').innerHTML;
		document.getElementById('menu_name').innerHTML = document.getElementById(menu_id).alt;
	}
	else {
		document.getElementById('menu_name').innerHTML = default_menu_item;
	}
}
