Trent bought a new flash drive. The flash drive was originally $25, but was on sale for 20% off. How much was the discount on the flash drive?