function show_search()
		{
			var submit = document.getElementById("search");
			if (submit.style.display != 'none')
			{
				submit.style.display = 'none';
			}
			else
			{
				submit.style.display = '';
			}
		}