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