Colin earns $6.50 an hour working at the mall. If he works on a holiday, he earns double this hourly rate for each hour he works. What is the amount of his paycheck if he works 10 regular hours and 10 hours on Christmas Day, which is considered a holiday.