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