A web page crawler that is designed to use multiple proxy servers