Looking up 2a00:7ee0:8:0:6::12

Asking the registry. This usually takes a few seconds.