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