@IPPORT[service] : Gibt die Portnummer für den angegebenen Dienst zurück .