function main (s) {
    s=s.split(" ");
	var s2=new Set();
	for(var i=0;i<3;i++){
		s[i]=parseInt(s[i]);
		s2.add(s[i]);
	}
	console.log(s2.size);
}
 
main(require('fs').readFileSync('/dev/stdin', 'utf8'));