Looking up 154.9.25.0

Asking the registry. This usually takes a few seconds.