var searchBoxOpen = false;

function showSearchBox () {
	var elem;
	if (!searchBoxOpen) {
		searchBoxOpen = true;
		elem = document.getElementById ('SearchDialog');
		elem.style.display = "block";
	}
}

function hideSearchBox () {
	var elem;
	if (searchBoxOpen) {
		elem = document.getElementById ('SearchDialog');
		elem.style.display = "none";
		searchBoxOpen = false;
	}
}