function disp_toggle(id) {
	document.getElementById("main_menu_image").className = id;
}