DNS is provided by the nameservers ns3.cni.tn and ns4.cni.tn.