The length of an alligator in a zoo is 14 5/8 feet. The Everglades National Park lists the longest alligator ever recorded in Florida at 17 5/12 feet. Which is the difference in their lengths?