Looking up 2800:200:f5c0::

Asking the registry. This usually takes a few seconds.