N=int(input()) S=input() ANS=0 REST=[] for x in S: if x in {"3","5","7"}: ANS+=1 else: REST.append(x) ONE=0 NINE=0 LEN=len(REST) count19=0 while True: while ONE