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