har ökats , och är nu 9 1 / 2 millioner.