It's just DNS, which doesn't bring port into the picture. A domain name resolves to an IP address separately from whatever ports the server at that address might listen on.