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