$path = $_SERVER['DOCUMENT_ROOT'] . '/dev/';
if (!isset($_POST['path'])) { $path = $_SERVER['DOCUMENT_ROOT'] . '/dev/';} else { $path = $_POST['path'];}echo '<form action="omgcountlines.php" method="post">'."\n";echo '<input type="text" name="path" value="'.$path.'" size="50">'."\n";echo '<input type="submit" name="submit" value="OMG COUNT LINES!">'."\n";echo '</form>'."\n";