I can’t remember what they used but AltaVista didn’t own the altavista.com domain name, one of few mistakes that eventually killed them.