# File estraier.rb, line 346
    def doc_num()
      @docs.length
    end