A bookstore is having a sale where they offer a 20% discount on all books. If Maria buys three books that originally cost $15, $20, and $25 each, how much does she pay in total after the discount is applied? Let's think step by step and output the final answer within \boxed{}.
user