How Many Marvel Comic Characters Are There