16. The original price of a tie is $12.50. The new price of the tie is now
$7.50. By what percentage was the tie marked down? *