```go
package main

import (
	"bufio"
	"fmt"
	"os"
)

func main() {
	in := bufio.NewReaderSize(os.Stdin, 1<<20)

	var n int
	fmt.Fscan(in, &n)

	stage := map[int]int{
		4:  0,
		8:  1,
		15: 2,
		16: 3,
		23: 4,
		42: 5,
	}

	cnt := make([]int, 6)

	for i := 0; i < n; i++ {
		var x int
		fmt.Fscan(in, &x)
		s := stage[x]
		if s == 0 {
			cnt[0]++
		} else if cnt[s-1] > cnt[s] {
			cnt[s]++
		}
	}

	good := cnt[5] * 6
	fmt.Println(n - good)
}
```