Get a domain name IP address

<?php 
if(isset($_POST['submit'])) {
$gethost = $_POST['gethost'];
$gethost = gethostbyname($gethost);
echo $gethost;
} else {
?>
<form method="post" action="<?php echo $_SERVER['PHP_SELF']; ?>">
DomainName: <input type="text" name="gethost">
<input type="submit" name="submit" value="Get a domain name IP address">
</form>
<?php } ?>