Looking up 13.88.239.12

Asking the registry. This usually takes a few seconds.