# File estraier-doc.rb, line 417
    def doc_num()
    end