#include <stdio.h>

int main() {
    int n,cnt=0,r[42]={0};
    for (int i=0; i<10; i++) {
        scanf("%d",&n);
        r[n%42]=1;
    }
    for (int i=0; i<42;i++) {
        if(r[i]==1) cnt++;
    }
    printf("%d",cnt);
    return 0;
}