A shirt originally priced at $40 is on sale for 25% off. What is the sale price of the shirt?