Belk's is having a 20% off sale on pajama pants. If the sale price was 12.50, what was the original price of the pajama pants?