Port number for proxy host.