# File control/Navigation/Navigation.rb, line 32
  def hidden_params
    params = ''
    for name, value in @query.sort
      params << '<input name="' << escapeHTML(name) << '"'
      params << ' type="hidden"'
      params << ' value="' << escapeHTML(value) << '"'
      params << ' />'
    end
    params
  end