@IPPORT[service] : Returns the port number for the specified service.