127.0.0.1	localhost
193.22.22.11	ppp-thanknt
193.22.22.10	ppp-bitsy
16.11.100.56	skiffeth
192.58.206.252	skiffroam
16.11.0.120	marvin
16.11.0.165	murk
192.58.206.219 grouper
16.11.100.100  skiff0 skiff-rpaul
16.11.100.101  skiff1
16.11.100.102  skiff2
16.11.100.103  skiff3
16.11.100.104  skiff4
16.11.100.105  skiff5
16.11.100.106  skiff6
16.11.100.107  skiff7
16.11.100.108  skiff8
16.11.100.109  skiff9
16.11.100.110  skiff10
# (pick high numbers to avoid DHCP conflict??)
192.58.206.250  rskiff0 rskiff-rpaul
192.58.206.249  rskiff1
192.58.206.248  rskiff2
192.58.206.247  rskiff3
192.58.206.246  rskiff4
