hooks/footer-extras.php

<script>
  $j(function() {
    // get id of dropdown ({tablename}_pagesMenu)
    var id = location.href.match(/.*\/(.*)_view\.php/)[1] + '_pagesMenu';
    if(!$j('#' + id).length) return;

    var page = parseInt($j('#' + id).val());
    if(!page) page = 1;

    $j('#' + id).replaceWith(
      '<div class="input-group" style="width: 7em;">' +
        '<input type="text" id="' + id + '" class="form-control" value="' + page + '">' +
        '<span class="input-group-btn">' +
          '<button class="btn btn-default" type="button" id="go-to-page">' +
            '<i class="glyphicon glyphicon-ok"></i>' +
          '</button>' +
        '</span>' +
      '</div>'
    );

    $j('#go-to-page').on('click', function() {
      var frm = document.myform;

      frm.writeAttribute('novalidate', 'novalidate');
      frm.NoDV.value=1;
      frm.FirstRecord.value = parseInt($j('#' + id).val()) * 10 + 1;
      frm.submit();
    });
  })
</script>