# File estraierpure.rb, line 472
    def doc_num()
      @docs.length
    end