The number of all credit-card holders in the U.S. is IN(a) million card holders and the collective amount of credit card debt that all credit-card holders carry is D(x) billion dollars, x years after 2010. The average credit card debt per card holder at year x is: