The port number of the proxy server.