function show_txt(what)
		{
			document.getElementById(what).className = "txt_hell";
		}
	
	function hover_txt(what)
		{
			document.getElementById(what).className = "nav_hover";
		}