A port number in the
URL$
or
SERVICE$
function.