Seems like the DNS server for a website I want to go to isn't working, so is there any way to get the IP of a domain name?