# # DO NOT EDIT - Automatically generated by 'gformat' # search wleiden.net # Try local (cache) first nameserver 127.0.0.1 # START DYNAMIC LIST - updated by /tools/nameserver-shuffle nameserver 172.31.254.26 # GHR nameserver 172.31.254.21 # Geluidsnet2 nameserver 172.31.254.15 # Juffermans nameserver 172.31.254.7 # Leythenrode2 nameserver 172.31.254.27 # NieuweEnergie nameserver 172.31.254.25 # OnsBuiten3 nameserver 172.31.254.8 # Plantsoen nameserver 172.31.254.9 # Rick nameserver 172.31.254.12 # Rustdam2 nameserver 172.31.254.14 # StVictor nameserver 172.31.254.17 # TEYBestuurscentrum nameserver 172.31.254.22 # Watertoren1 nameserver 172.31.254.23 # Watertoren2 nameserver 172.31.254.24 # Watertoren3