The population of Red Hook is growing at a rate of 3.5% per year. If it’s current population is 12,500, in how many years will the population exceed 20,000? Round your answer to the nearest year.