# File estraier.rb, line 561
    def doc_num()
      set_info if @dnum < 0
      @dnum
    end