#include<stdio.h> int main() { int N,j=0; scanf("%d",&N); for(int i=1;i<=N;i++) { if(i%20||i%50||i%3==0) { j++; }

}
    printf("%d",j);    


return 0;

}