C'e' qualche funzione che permette di trovare l'ip di un server avendo il nome ???

Cioe' ho il nome del server (es. html.it) mi serve l'ip...

Grazie.