function toggle_search(){
	var search_panel = document.getElementById('search_panel');
	var search_input = document.getElementById('search_input') 
	if(search_panel.style.display=='none'){ 
		search_panel.style.display = 'block'; 
		search_input.focus();
	}
	else{
		search_input.value='';	
		search_panel.style.display = 'none'
	};
	return false;
}