N = int(input())
S = input()
ans = 0
nine = 0
one = 0
for i in range(N):
    c = S[i]
    if c in '357':
        ans += 1
    if c == '9':
        if one >= 1:
            one -= 1
            ans += 1
        else:
            nine += 1
    if c == '1':
        one += 1
nno = min(nine//2,one) 
ans += nno+(one-nno)//2
print(ans)