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