Looking up 2001:388:1:a001::100

Asking the registry. This usually takes a few seconds.