<!--
	function show_div(chosen){
		var home_div=document.getElementById("home_div");
		var menu_div=document.getElementById("menu_div");
		var directions_div=document.getElementById("directions_div");
		var contact_div=document.getElementById("contact_div");
		var map_frame=document.getElementById("map_frame");
		if (chosen=="1"){
			home_div.style.display="inline";
			menu_div.style.display="none";
			directions_div.style.display="none";
			contact_div.style.display="none";
		}
		else if (chosen=="2"){
			home_div.style.display="none";
			menu_div.style.display="inline";
			directions_div.style.display="none";
			contact_div.style.display="none";
		}					
		else if (chosen=="3"){
			home_div.style.display="none";
			menu_div.style.display="none";
			directions_div.style.display="inline";
			contact_div.style.display="none";
			map_frame.src=map_frame.src
		}
		else{
			home_div.style.display="none";
			menu_div.style.display="none";
			directions_div.style.display="none";
			contact_div.style.display="inline";
		}
	}

	function show_menu(chosen){
		var sushi_div=document.getElementById("sushi_list");
		var appetizers_div=document.getElementById("appetizers");
		var dinner_div=document.getElementById("dinner");
		var korean_div=document.getElementById("korean");
		var lunch_div=document.getElementById("lunch");
		var select_table=document.getElementById("select_table");
		if (chosen=="3"){
			sushi_div.style.display="inline";
			appetizers_div.style.display="none";
			dinner_div.style.display="none";
			korean_div.style.display="none";
			lunch_div.style.display="none";
			window.scrollTo(0,select_table.offsetTop);
		}
		else if (chosen=="1"){
			sushi_div.style.display="none";
			appetizers_div.style.display="inline";
			dinner_div.style.display="none";
			korean_div.style.display="none";
			lunch_div.style.display="none";
			window.scrollTo(0,select_table.offsetTop);
		}					
		else if (chosen=="5"){
			sushi_div.style.display="none";
			appetizers_div.style.display="none";
			dinner_div.style.display="inline";
			korean_div.style.display="none";
			lunch_div.style.display="none";
			window.scrollTo(0,select_table.offsetTop);
		}					
		else if (chosen=="2"){
			sushi_div.style.display="none";
			appetizers_div.style.display="none";
			dinner_div.style.display="none";
			korean_div.style.display="inline";
			lunch_div.style.display="none";
			window.scrollTo(0,select_table.offsetTop);
		}
		else{
			sushi_div.style.display="none";
			appetizers_div.style.display="none";
			dinner_div.style.display="none";
			korean_div.style.display="none";
			lunch_div.style.display="inline";
			window.scrollTo(0,select_table.offsetTop);
		}
	}

	function change_cursor(){
		document.body.style.cursor="pointer";
	}

	function reset_cursor(){
		document.body.style.cursor="default";
	}	
//-->