Ao navegar pela internet, determinados endereços podem requerer o emprego de portas HTTP específicas, no lugar da porta padrão HTTP. Para tanto, deve-se acrescentar o número da porta ao endereço desejado. Assinale a alternativa que contém o caractere especial que deve ser utilizado após o endereço de modo a informar a porta desejada ao navegador.