[ietf79-tech] host names

[Randy Bush]

management.meeting.ietf.org:/home/randy> ping services1.meeting.ietf.org
ping: cannot resolve services1.meeting.ietf.org: Unknown host
management.meeting.ietf.org:/home/randy> ping services.meeting.ietf.org
PING services.meeting.ietf.org (130.129.5.6): 56 data bytes
64 bytes from 130.129.5.6: icmp_seq=0 ttl=64 time=0.353 ms
64 bytes from 130.129.5.6: icmp_seq=1 ttl=64 time=0.364 ms
64 bytes from 130.129.5.6: icmp_seq=2 ttl=64 time=0.299 ms
^C
--- services.meeting.ietf.org ping statistics ---
3 packets transmitted, 3 packets received, 0.0% packet loss
round-trip min/avg/max/stddev = 0.299/0.339/0.364/0.028 ms
management.meeting.ietf.org:/home/randy> ping 130.129.1.6
PING 130.129.1.6 (130.129.1.6): 56 data bytes
ping: sendto: Host is down
ping: sendto: Host is down
ping: sendto: Host is down
^C
--- 130.129.1.6 ping statistics ---
8 packets transmitted, 0 packets received, 100.0% packet loss