" . $_SESSION["user"] . " (logout)"; } ?>