search cs.wisc.edu
nameserver 128.105.252.100
nameserver 128.105.2.13
nameserver 128.105.1.78
