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