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