function search_toggle() {
	var el = document.getElementById('searchcover');
	el.style.display = (el.style.display=='none')? '':'none';
}