area of a regular octagon of side 12.5

http://formulas.tutorvista.com/math/area-of-an-octagon-formula.html