PHP DNS Lookup

<!doctype html>
<html>
<head>
    <title>DNS Lookup</title>
</head>
<body>
    <form method="post" action="">
        <input type="text" name="domain">
        <input type="submit" name="submit" value="Lookup">
    </form>
    <br />
<?php

/*
*
* DNS Record Grabber
* (c)2013 Dennis Kupec
*
*/

if(isset($_POST['submit'])) {
    echo("----------------------------------------------------------------<br />");
    echo("DNS Lookup Results<br />");
    echo("----------------------------------------------------------------<br />");
    echo("<br />");

    $domain = $_POST['domain'];
    if(!isset($domain) or empty($domain)) die("Enter a domain to lookup");

    $result = dns_get_record($domain);
    var_dump($result);
}

?>
</body>
</html>