Probably not the best way, but I know if you use ping s31.hosthorde.com on the command line it'll show the numeric IP.
For what purpose? Anything that can take the IP address should be able accept the hostname (s31.hosthorde.com). Every host gives that to prevent from being DDos so they maybe forced to change their IP of the server - If that happens, anything on the other IP will break until you update it. Hope this helps, (please like)