// inputに入力データ全体が入る
function Main(input) {
    var a = input[0].split(" ")[0]-0;
    var b = input[0].split(" ")[1]-0;
    var c = input[0].split(" ")[2]-0;
    var map = {};
    map[c] = map[b] = map[a] = true
    console.log(Object.keys(map).length);
}

Main(require("fs").readFileSync("/dev/stdin", "utf8").trim().split("\n"));