[k0k0]

And? That's primarily what DNS is for: mapping strings to numbers.

[gwright]

I was just trying to clarify some muddled discussion about different layers of the networking stack. The original comment about port names instead of port numbers didn't seem to be made with an understanding of the different layers.