#include <stdio.h>

int main()
{
    int num = 0;
    int count = 0;
    scanf("%d", &num);
    if(num >= 1 && num <= 30000)
    {
        for(int i = num; i > 0; i--)
        {
            if(i % 7 == 0 
               || i % 10 == 7 		/* 取个位 */
               || (i / 10) % 10 == 7 		/* 取十位 */
               || (i / 100) % 10 == 7 		/* 取百位 */
               || (i / 1000) % 10 == 7		/* 取千位 */
               || (i / 10000) % 10 == 7)	/* 取万位 */
            {
                count++;
            }
        }
        printf("%d\n", count);
    }
    return 0;
}