There are 1000 toothpicks in a​ regular-sized box. If a jumbo box is made by doubling all the dimensions of the​ regular-sized box, how many toothpicks will the jumbo box​ hold?