Looking up 2407:a00::ffff:ffff:ffff:ffff

Asking the registry. This usually takes a few seconds.