What is the average of 30, 40, and 80?