#include <bits/stdc++.h>
using namespace std;
#define int long long int
signed main()
{
int n, i, x, y, ok = 0, c = 0;
cin >> n;
int a1[50];
a1[4] = 0, a1[8] = 1, a1[15] = 2;
a1[16] = 3, a1[23] = 4, a1[42] = 5;
set<int> s[6];
vector<int> a(n, 0);
for (i = 0; i < n; i++)
{
cin >> a[i];
s[a1[a[i]]].insert(i);
}
while (1)
{
if (s[0].size() == 0)
break;
x = *(s[0].begin());
s[0].erase(x);
for (i = 1; i < 6; i++)
{
if ((int)s[i].size() == 0)
{
ok = 1;
break;
}
auto it = s[i].upper_bound(x);
if (it == s[i].end())
{
ok = 1;
break;
}
x = *it;
s[i].erase(it);
}
if (ok == 1)
break;
c += 6;
}
cout << n - c << endl;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgaW50IGxvbmcgbG9uZyBpbnQKCnNpZ25lZCBtYWluKCkKewoKICAgIGludCBuLCBpLCB4LCB5LCBvayA9IDAsIGMgPSAwOwoKICAgIGNpbiA+PiBuOwogICAgaW50IGExWzUwXTsKCiAgICBhMVs0XSA9IDAsIGExWzhdID0gMSwgYTFbMTVdID0gMjsKICAgIGExWzE2XSA9IDMsIGExWzIzXSA9IDQsIGExWzQyXSA9IDU7CgogICAgc2V0PGludD4gc1s2XTsKCiAgICB2ZWN0b3I8aW50PiBhKG4sIDApOwoKICAgIGZvciAoaSA9IDA7IGkgPCBuOyBpKyspCiAgICB7CiAgICAgICAgY2luID4+IGFbaV07CiAgICAgICAgc1thMVthW2ldXV0uaW5zZXJ0KGkpOwogICAgfQoKICAgIHdoaWxlICgxKQogICAgewogICAgICAgIGlmIChzWzBdLnNpemUoKSA9PSAwKQogICAgICAgICAgICBicmVhazsKCiAgICAgICAgeCA9ICooc1swXS5iZWdpbigpKTsKICAgICAgICBzWzBdLmVyYXNlKHgpOwoKICAgICAgICBmb3IgKGkgPSAxOyBpIDwgNjsgaSsrKQogICAgICAgIHsKICAgICAgICAgICAgaWYgKChpbnQpc1tpXS5zaXplKCkgPT0gMCkKICAgICAgICAgICAgewogICAgICAgICAgICAgICAgb2sgPSAxOwogICAgICAgICAgICAgICAgYnJlYWs7CiAgICAgICAgICAgIH0KICAgICAgICAgICAgYXV0byBpdCA9IHNbaV0udXBwZXJfYm91bmQoeCk7CgogICAgICAgICAgICBpZiAoaXQgPT0gc1tpXS5lbmQoKSkKICAgICAgICAgICAgewogICAgICAgICAgICAgICAgb2sgPSAxOwogICAgICAgICAgICAgICAgYnJlYWs7CiAgICAgICAgICAgIH0KICAgICAgICAgICAgeCA9ICppdDsKICAgICAgICAgICAgc1tpXS5lcmFzZShpdCk7CiAgICAgICAgfQoKICAgICAgICBpZiAob2sgPT0gMSkKICAgICAgICAgICAgYnJlYWs7CgogICAgICAgIGMgKz0gNjsKICAgIH0KCiAgICBjb3V0IDw8IG4gLSBjIDw8IGVuZGw7Cn0=
MTAwCjQgNDIgMjMgMjMgOCA0MiAxNiAyMyA0MiAxNiA0MiA4IDQgMjMgNCA0IDIzIDQyIDE2IDQyIDIzIDIzIDIzIDQyIDQgNDIgOCA4IDE2IDIzIDE1IDIzIDE2IDQgNDIgMTUgMTUgMjMgMTYgMTUgMTYgNCA0IDE1IDIzIDQyIDQyIDE1IDggMjMgOCAyMyA0IDE1IDE2IDE1IDQyIDggMjMgMTYgMTUgNDIgMjMgOCA0IDE2IDE1IDE2IDIzIDE2IDE2IDQgMjMgMTYgOCAyMyAxNiAxNSAyMyA0IDQgOCAxNSA0IDQgMTUgOCAyMyAyMyA0IDQgOCA4IDQgNDIgMTUgNCA0IDQyIDE2Cg==
100
4 42 23 23 8 42 16 23 42 16 42 8 4 23 4 4 23 42 16 42 23 23 23 42 4 42 8 8 16 23 15 23 16 4 42 15 15 23 16 15 16 4 4 15 23 42 42 15 8 23 8 23 4 15 16 15 42 8 23 16 15 42 23 8 4 16 15 16 23 16 16 4 23 16 8 23 16 15 23 4 4 8 15 4 4 15 8 23 23 4 4 8 8 4 42 15 4 4 42 16