// JavaScript quicksearch
function show() { $("#search_down").toggle(); }
function showQuickSearch() { $("#search_down").show(); }
function hideQuickSearch() { $("#search_down").hide(); }