# File estraier.rb, line 561
def
doc_num
()
set_info
if
@dnum
<
0
@dnum
end