"; echo "Favorite animal is " . $_SESSION["favanimal"] . "."; ?>