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