Looking up 2a01:7c00:1f:ffff:ffff:ffff:ffff:ffff

Asking the registry. This usually takes a few seconds.