#include <bits/stdc++.h>
using namespace std;
long long n,s=1,x;
vector <int> vt;
int main()
{
ios_base::sync_with_stdio(0);
cin.tie(0);cout.tie(0);
while(cin>>n)
{
vt.push_back(n);
}
sort(vt.begin(),vt.end());
for(int i=0;i<vt.size()-1;i++) if(vt[i]!=vt[i+1]) s++;
cout<<s;
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+Cgp1c2luZyBuYW1lc3BhY2Ugc3RkOwpsb25nIGxvbmcgbixzPTEseDsKdmVjdG9yIDxpbnQ+IHZ0OwppbnQgbWFpbigpCnsKICAgIGlvc19iYXNlOjpzeW5jX3dpdGhfc3RkaW8oMCk7CiAgICBjaW4udGllKDApO2NvdXQudGllKDApOwogICAgd2hpbGUoY2luPj5uKQogICAgewogICAgICAgIHZ0LnB1c2hfYmFjayhuKTsKICAgIH0KICAgIHNvcnQodnQuYmVnaW4oKSx2dC5lbmQoKSk7CiAgICBmb3IoaW50IGk9MDtpPHZ0LnNpemUoKS0xO2krKykgaWYodnRbaV0hPXZ0W2krMV0pIHMrKzsKICAgIGNvdXQ8PHM7CiAgICByZXR1cm4gMDsKfQogICAg