Proxy port to use in conjunction with the proxy server field.