// 8:04 start
// 8:12 end
#include <iostream>
#include <fstream>
#include <ctype.h>

int main () {
   ifstream input;
   char ch;
   int digits[10];
   int i;
   bool done;
   int digit_count=0;

   for(i=0;i<10;i++){
      digits[i] = 0;
   }

   input.open("COUNT.INPUT");

   while (input) {
      input >> ch;
      if (isdigit(ch)) {
         digits[ch-'0'] = 1;
	 digit_count++;
      }
      done = true;
      for(i=0;i<10;i++) {
         if (digits[i] ==0) {
	    done=false;
	 }
      }
      if (done) {
         cout << digit_count << endl;
	 return(0);
      }
   }
   cout << "Saw END OF FILE before all digits." << endl;
   input.close();
}