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