# File estraier-doc.rb, line 524
    def doc_num()
      # native code ...
    end