Construction workers use ratios regularly to make quick calculations. On a particular roof the ratio, called the pitch, is 512. That means that for every 5 inches the roof goes up, it goes over 12 inches. How wide is a roof that goes up 80 inches?