If you double a number and then add 32,the result is 80. What is the number?