#include<stdio.h>
int main()
{
    int N;
    while(scanf("%d",&N)!=EOF)
    {
        int num=0;
        for(int i=1;i<=N;i++)
        {
            if((i%7)==0) num++;
            else if((i%10)==7||(i/10)%10==7||(i/100)%10==7||(i/1000)%10==7) num++;
        }
        printf("%d\n",num);
    }
    return 0;
}