A rice farmer employs 15 men to harvest his crop. The men take 12 days to do the job. If he had employed 9 men, how many days would it have taken them?