Miguel reads about a sea turtle and a manatee. The sea turtle is

3 feet long. The manatee is 4 times as long as the sea turtle.

How long is the manatee?