function jumpDetails(newLoc) {
        newPage = newLoc.options[newLoc.selectedIndex].value
        if (newPage != "") {window.location.href = "details.php?search_all=" + newPage}
}
function jumpCategory(newLoc) {
        newPage = newLoc.options[newLoc.selectedIndex].value
        if (newPage != "") {window.location.href = "category.php?search_category=" + newPage}
}