#include <iostream>
#include <vector>
#include <algorithm>
#include <map>
#include <queue>
#include <stack>
using namespace std;
typedef long long int ll;

int tapi[210010];

int main(){
	cin.tie(nullptr);
	ios::sync_with_stdio(false);
	int n; cin >> n;
	string s; cin >> s;
	int ans=0;
	int cnt1=0;
	int cnt2=0;
	for(int i=0;i<n;i++){
		if(s[i]=='3'||s[i]=='5'||s[i]=='7')ans++;
		else if(s[i]=='1'){
			if(cnt2>1){
				ans++;
				cnt2-=2;
			}
			else{
				cnt1++;
			}
		}
		else{
			if(cnt1>0){
				ans++;
				cnt1--;
			}
			else{
				cnt2++;
			}
		}
	}
	cout << ans+cnt1/2 << endl;
}