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