The population of a city (in millions) at time (in years) is , where is the year 2000.

When will the population double from its size at ?