function Main(input) {
  input = input.split(" ");
var a = input[0];
var b = input[1];
var c = input[2];
var count = 3;
var double = 2;
if(a==b){
  count --;
  double --;
}
if(b==c){
  count --;
  double --;
}
if(a==c){
  count --;
}
if(double == 0){
  count = 1;
}
console.log(count);
}
Main(require("fs").readFileSync("/dev/stdin", "utf8"));