#include <stdio.h>
int main(){
    int arr[42] = {0};
    int n=0, cnt=0, flag=1, i=0;

    for(i=0; i<42; i++) arr[i]=i;

    for(i=0; i<10; i++){
        scanf("%d",&n);
        if(n%42==0) flag=0;
        arr[n%42] = 0;
    }

    for(i=flag; i<42; i++){
        if(arr[i]==0) cnt++;
    }

    printf("%d",cnt);

    return 0;
}