Looking up 2a00:ccc1:102:1337:0:bad:a55:c0de

Asking the registry. This usually takes a few seconds.