Miguel reads about a sea turtle and a manatee. The sea turtle is 3 feet long. The manatee is 4feet times as long as the sea turtle. How long is the manatee??