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

function showQuickSearch() { $("#search_down").show(); }

function hideQuickSearch() { $("#search_down").hide(); }