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