It is common to see alligators in ponds, lakes, and rivers in Florida. The ratio of head size (back of the head to the end of the snout) to the full body length of an alligator is typically constant. If a 7/2 (3 1/2) -foot alligator has a head length of 6 inches, how long would you expect an alligator to be whose head length is 9 inches?