request of a file from a Web server.