what sort of port is that?
Provide your answer in the form of a single word or a brief phrase.

hdmi