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