";
            $output = shell_exec($command);
            echo htmlspecialchars($output);
            echo "