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