... door achter de naam van de betreffende server een dubbelpunt te plaatsen, gevolgd door het poortnummer.
Voorbeeld: pop.gmail.com:995 voor de server van een gmail-adres, ingesteld op poort 995.
Let wel: ik denk dat het belangrijk is dat er geen spaties staan rond het dubbelpunt.
