'use strict'

function main(s) {
  const input  = s.split('\n')[0].split(' ');
  const result = [...new Set(input)].length;
  console.log(result);
}

main(require("fs").readFileSync("/dev/stdin", "utf8"));
