The original price of a desk was $80. And its price was marked
down to $70 during the holiday. What was the percentage of
discount for the desk during the holiday?