tan(7pi/12)=.031995741