import sys
lines = sys.stdin.readlines()
l=[]
for i in lines:
    i = i.strip('\n')
    l = l+i.split(' ')
print(len(set(l)))