"; echo "Login]"; } else { echo "You are logged in as $name."; echo "    "; echo "[Logout]"; } } ?>