system for indexing collections of Web pages
