function showSearchBox() {
	var sbox = document.getElementById("search_selection");
	sbox.parentNode.style.display = "block";
	sbox.style.visibility = "visible";
}
function hideSearchBox() {
	var sbox = document.getElementById("search_selection");
	sbox.parentNode.style.display = "none";
	sbox.style.visibility = "hidden";
}