AS number for i.root-servers.net.