function paginate(offset) {
    var offsetElement = byId("search_form_offset");
    if (typeof submitSearch == "function" && offsetElement && applyOldNavigation() && applyCurrentSimilarity()) {
        offsetElement.value = offset;
        submitSearch();
    }
}