After a 20% tip, you pay a waitress $72. What was the original bill?