" . $_SESSION["screen"]; echo "cwd: " . htmlspecialchars($_SESSION["cwd"]) . "
\n"; echo "
\n" . $_SESSION["screen"] . "
\n"; ?>