function Main(input) {
  input=input.split("\n");
　var array=input[0].split(" ");
  array.sort();
  var counter=0;
  var previous="";
  array.forEach(e=>{
    counter+=(previous===e)?0:1;
    previous=e;
  });
  
  
  console.log(counter);
}

//*この行以降は編集しないでください（標準入出力から一度に読み込み、Mainを呼び出します）
Main(require("fs").readFileSync("/dev/stdin", "utf8"));
  
  
