#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