just for future reference (and incase the links go dead)

there are 2 really quick ways where you can get the IP address of a hostname,

first is PING, it may not give you any echo replies, but it will give you the IP address

ex: ping www.google.com

second is NSLOOKUP, which can do a lot more than just give you the IP address, but i will not bore you with all the details

ex: nslookup www.google.com