#include <bits/stdc++.h>
using namespace std;
int d[1005], a, dem;
int main()
{
ios_base::sync_with_stdio(0);
cin.tie(0); cout.tie(0);
while(cin >> a)
{
d[a]++;
}
for(int i = 1; i <= 1000; i++)
{
if (d[i] > 0)
{
dem++;
}
}
cout << dem << endl;
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CmludCBkWzEwMDVdLCBhLCBkZW07CgppbnQgbWFpbigpCnsKICAgIGlvc19iYXNlOjpzeW5jX3dpdGhfc3RkaW8oMCk7CiAgICBjaW4udGllKDApOyBjb3V0LnRpZSgwKTsKCiAgICB3aGlsZShjaW4gPj4gYSkKICAgIHsKICAgICAgICBkW2FdKys7CiAgICB9CiAgICBmb3IoaW50IGkgPSAxOyBpIDw9IDEwMDA7IGkrKykKICAgIHsKICAgICAgICBpZiAoZFtpXSA+IDApCiAgICAgICAgewogICAgICAgICAgICBkZW0rKzsKICAgICAgICB9CiAgICB9CiAgICBjb3V0IDw8IGRlbSA8PCBlbmRsOwogICAgcmV0dXJuIDA7Cn0K