import sys
input=lambda: sys.stdin.readline().rstrip()
n=int(input())
S=input()
ans=0
C=[0,0,0]
for s in S:
	if s=="3" or s=="7":
		ans+=1
	if s=="5":
		C[1]+=1
	if s=="1":
		if C[2]>=2:
			ans+=1
			C[2]-=2
		else:
			C[0]+=1
	if s=="9":
		if C[1]>0:
			ans+=1
			C[1]-=1
		elif C[0]>0:
			ans+=1
			C[0]-=1
		else:
			C[2]+=1
ans+=C[0]//2
print(ans)