Diners frequently add a 15% tip when charging a meal to a credit card. What is the total amount charged if the cost of the meal, without tip, is $25? The total cost is $...