1. <form method="post" action="<?php echo $PHP_SELF;?>"><br/>
  2. <input type="text" size="20" maxlength="20" name="ip">
  3. <?php
  4.   $ip = $_POST["ip"];
  5.   $host = gethostbyname($ip);
  6.   echo "<input type='text' value='" .$host. "' />\n";
  7. ?>