function menu_show()
	{
		document.getElementById('text').style.display = "none";
		document.getElementById('navigator').style.display = "block";
	}
function text_show()
	{
		document.getElementById('text').style.display = "block";
		document.getElementById('navigator').style.display = "none";
	}