@IPPORT[de coches] : Devuelve el número de puerto para el servicio especificado.