#include <stdio.h>
#include <stdlib.h>

int main(int argc, char **argv) {
  int counter = 0;
  for (int i=0; i<10; i++) {
    int n;
    scanf("%d", &n);
    if (n % 42 == 0) {
      counter++;
    }
  }
  printf("%d\n", 10-counter);
}