Domain to IPs

<?php

echo "List Domain : ";
$inputFile = fopen("php://stdin", "r");
$file = trim(fgets($inputFile));
$dom = file_get_contents($file, true);
$search = array('http://','https://','/');
$del = str_replace($search, '', $dom);
$doms = explode("\r\n", $del);

foreach ($doms as $doms) {
    //var_dump($doms);
    $ips = gethostbyname($doms);
    //echo $ips."\n";
    $result = $ips."\n";
    file_put_contents('result000.txt', $result, FILE_APPEND);
}
?>