import sys

num = int(input())
start = 1
count = 0

while start <= num:
    if start % 7 == 0:
        count += 1
    elif '7' in str(start):
        count += 1 
    start += 1

print(count)

这种在leetcode应该是过不了的

最好的应该是*7 得到所有的子集，然后再用len(num) 把每位换7 ，然后求总规律再减去之前的