This defines the port for the proxy. In the case of webproxies the port normally is 8080 or 3128. Socks-Proxies usually have port 1080.