IP aus URL ermitteln

$ip = gethostbyname("www.google.de");
echo $ip."\n";