function showMenu() {
	document.getElementById('searchTab').style.visibility='visible';
}

function hideMenu() {
	document.getElementById('searchTab').style.visibility='hidden';
}