At a local department store, pants have been reduced to $12. This price is at 75% of the original price for pants. Given this, what was the original price of the pants?