#입력 받아 공백 문자를 기준으로 리스트로 변환

a = input().split()

#변환한 리스트의 문자열 값을 정수로 변환

for i in range(len(a)):

    a[i] = int(a[i])

#정렬(내림차순)

a.sort()

#오름차순으로 순서 바꾸기

a.reverse()

#등수

rank = 0

#이전 점수

prevScore = -1

#사탕수

candyCnt = 0

for i in range(len(a)):

    #이전 점수와 현재 점수가 다를 때는 등수가 증가

    if prevScore != a[i]:

        rank += 1

    #등수가 3등 이하일 때 사탕 수 증가 아니면, 반복문 종료

    if rank <= 3:

        candyCnt += 1

    else:

        break

    #이전 점수를 현재 점수로 바꾸기

    prevScore = a[i]

print(candyCnt)