include<bits/stdc++.h>

using namespace std;
int main()
{
int n;
set<int> se;
while(cin >>n)
{
se.insert(n);
}
cout <<se.size();
}