Over the past ten years, the town's population doubled in size. The population is currently 12,000. What was the population ten years ago?