A Distributed Web Crawler