How much fencing is needed to enclose a circular pond with diameter 12.5 feet