That's the same server. Maybe it was a problem with a local nameserver.