# File estraierpure.rb, line 452
def
doc_num
()
@docs
.
length
end