#include <bits/stdc++.h>   using namespace std;   template <class T1, class T2>   ostream& operator<<(ostream& os, const pair<T1, T2>& v) {     os <<  (  << v.first <<     << v.second <<  ) ;     return os;   }   template <typename T, typename U = typename T::value_type,             typename = typename enable_if<!is_same<T, string>::value>::type>   ostream& operator<<(ostream& os, const T& v) {     os <<  [ ;     for (const auto& it : v) os << it <<    ;     if (!v.empty()) os <<   b ;     os <<  ] ;     return os;   }   int main() {     cin.tie(0);     cout.tie(0);     ios_base::sync_with_stdio(0);     int n, x;     cin >> n;     int cnt[6] = {0, 0, 0, 0, 0, 0};     for (int i = 0; i < (n); i++) {       cin >> x;       if (x == 4) {         cnt[0]++;         continue;       }       if (x == 8 && cnt[0]) {         cnt[0]--;         cnt[1]++;         continue;       }       if (x == 15 && cnt[1]) {         cnt[1]--;         cnt[2]++;         continue;       }       if (x == 16 && cnt[2]) {         cnt[2]--;         cnt[3]++;         continue;       }       if (x == 23 && cnt[3]) {         cnt[3]--;         cnt[4]++;         continue;       }       if (x == 42 && cnt[4]) {         cnt[4]--;         cnt[5]++;         continue;       }     }     cout << n - 6 * cnt[5] << endl;     return 0;   }   