A shirt originally costs $40.It is on sale for 25% off.How much do you pay for the shirt after the discount?