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