#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;
}
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;
}