What is the following sale price
for a phone charger with an
original price of $12.99 after
applying a discount of 45%?