#include <bits/stdc++.h>
using namespace std;
const int N = 5e5 + 5;
int pos[100][N], n;
int tag[100], tot[100];
int id[10] = {4, 8, 15, 16, 23, 42};
int main() {
  scanf("%d", &n);
  for (int i = 1; i <= n; i++) {
    int x;
    scanf("%d", &x);
    pos[x][++tot[x]] = i;
  }
  int cnt = 0, flag = 0;
  for (int i = 1; i <= tot[4]; i++) {
    ++tag[4];
    for (int j = 1; j < 6; j++) {
      int k1 = id[j], k2 = id[j - 1];
      while (++tag[k1] <= tot[k1]) {
        if (pos[k1][tag[k1]] > pos[k2][tag[k2]]) break;
      }
      if (tag[k1] > tot[k1]) flag = 1;
      if (flag) break;
    }
    if (flag) break;
    ++cnt;
  }
  printf("%d\n", n - 6 * cnt);
  return 0;
}
