#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;
}
