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