#include<stdio.h>
int main(void)
{
    int n;
    scanf("%d",&n);
    int i=0;
    int cnt=0;
    for(i=1;i<=n;i++)
    {
        if(i%7==0)
        {
            cnt++;
        }
        else if(i%7!=0)
        {
            int temp=i;
            int flag=0;
            while(temp!=0)
            {
                if(temp%10==7)
                {
                    flag++;
                }
                temp/=10;
            }
            if(flag>=1)
            {
                cnt++;
                flag=0;
            }
        }
    }
    printf("%d",cnt);
    return 0;
}