peterverebics/CodeNet_Python_118 huggingface dataset:
def shred(num, base=10, reverse=True):
    digits = []
    while num != 0:
        digits.append(num % base)
        num /= base
        num = int(num)
    if not reverse:
        digits = [dig for dig in reversed(digits)]
    return digits

if __name__ == '__main__':
    N = int(input())
    if 7 in shred(N):
        print('Yes')
    else:
        print('No')
N = int(input())
X = N
quot_100 = X//100
X= X % 100
quot_10 = X // 10
X= X % 10
quot_1 = X

if (quot_100 == 7) or (quot_10 == 7) or (quot_1 == 7) :
    print("Yes")
else:
    print("No")
num = int(input())
N = [int(i) for i in str(num)]
if N[0] == 7:
    print("Yes")
elif N[1] == 7:
    print("Yes")
elif N[2] == 7:
    print("Yes")
else:
    print("No")
a = int(input());
while a>0:
    n = a %10;
    if n == 7:
        print("Yes");
        break;
    a = a //10;
if a == 0:
    print("No")
N = list(input())
if any(i == "7" for i in N):
  print("Yes")
else:
  print("No")
import sys

N=list(input())

for i in range(3):
  if (N[i]=='7'):
    print('Yes')
    sys.exit()
print('No')
n = input()

for i in n:
    if i == "7":
        print("Yes")
        exit()

print("No")
n = input()

if "7" in n:
    print("Yes")
else:
    print("No")
N = input()
 
print('Yes' if '7' in str(N) else 'No')
import sys
input = sys.stdin.readline
N = list(input())[: -1]
if "7" in N: print("Yes")
else: print("No")
N=list(input())
ans=False
if N[0]=="7":
    ans=True
if N[1]=="7":
    ans=True
if N[2]=="7":
    ans=True
if ans:
    print("Yes")
else:
    print("No")
str=input()
check=0
for s in str:
  if s=="7":
    check+=1
if check==0:
  print("No")
else:
  print("Yes")
import sys
stdin = sys.stdin

ni = lambda: int(ns())
na = lambda: list(map(int, stdin.readline().split()))
nn = lambda: list(stdin.readline().split())
ns = lambda: stdin.readline().rstrip()

n = ns()

n = list(n)

if '7' in n:
    print('Yes')
else:
    print('No')
def mainFunc():
    num = str(input())
    ans = 'Yes' if '7' in num else 'No'
    print(ans)


mainFunc()
s = list(input())
for i in s:
  if i == "7":
    print("Yes")
    exit()
print("No")
N=str(input())
print("Yes" if N[0]=="7" or N[1]=="7" or N[2]=="7" else "No")
i = list(map(str, input()))

if "7" in i:
  print("Yes")
else:
  print("No")
N=list(input())
if "7" in N:
  print("Yes")
else:
  print("No")
#!/usr/bin/env python3
n=str(input())
if n[0]=='7' or n[1]=='7' or n[2]=='7':
    print('Yes')
else:
    print('No')
N = input()
ans = "No"

for i in range(len(N)):
    if N[i] == "7":
        ans = "Yes"
        break

print(ans)
N=set(list(input()))
if '7' in N:
    print("Yes")
else:
    print("No")
N = input()
if N.count('7'):
    print('Yes')
else:
    print('No')
N = input()
ans = "Yes" if "7" in N else "No"
print(ans)
n = str(input())
if n.find('7') != -1:
    print('Yes')
else:
    print('No')
n=int(input())
flag=0
while n>0:
    if n%10==7:
        flag=1
        break
    n=n//10
if flag==0:
    print("No")
else:
    print("Yes")
#ABC162a
a = input()
if '7' in a:
    print('Yes')
else:
    print('No')
n=input()

ans="No"

for i in range(len(n)):
    if n[i] == "7":
        ans = "Yes"

print(ans)
A = list(input())
if "7" in A:
  print("Yes")
else:
  print("No")
N=input()
if int(N[0])*int(N[1])*int(N[2])%7==0:
  if int(N[0])*int(N[1])*int(N[2])==0:
    print("No")
  else:
    print("Yes")
else:
  print("No")
N = int(input())

ans = '7' in str(N)

if ans:
    print("Yes")
else:
    print("No")
n=input()

for i in n:
  if i=='7':
    print('Yes')
    exit()
print('No')
N = input()
if "7" in N: print("Yes")
else: print("No")
a,b,c=input()

print('No' if a!='7' and b!='7' and c!='7' else 'Yes')
def I(): return int(input())
def MI(): return map(int, input().split())
def LI(): return list(map(int, input().split()))

def main():
    mod=10**9+7
    s=input()
    if "7" in s:
        print("Yes")
    else:
        print("No")

main()
N = input()

if N[0] == '7':
    print('Yes')
elif N[1] == '7':
    print("Yes")
elif N[2] == "7":
    print('Yes')
else:
    print("No")
s = input()
  
if '7' in s:
  print('Yes')
else:
  print('No')
num=input()
flag=0
for i in range(3):
  if int(num[i])==7:
    flag=1
if flag==1:
  print("Yes")
else:
  print("No")
n=input()
 
if '7' in n:
  print('Yes')
else:
  print('No')
l = list(input())
if '7' in l:
  print('Yes')
else:
  print('No')
#ABC0162A
n = input()
print("Yes" if n.count("7")>0 else "No")
N = input()
print("Yes" if N.find("7") >= 0 else "No")
N=input()

if N[0]=='7' or N[1]=='7' or N[2]=='7':
  print('Yes')
else:
  print('No')
n = input()
print('Yes' if any(map(lambda x: x == '7', n)) else "No")
i = input()
i = map(int, i)
if 7 in i:
    print("Yes")
else:
    print("No")
s=input()

if s[0]=="7" or s[1]=="7" or s[2]=="7":
    print("Yes")
else:
    print("No")
N = input()
res = "No"

if "7" in N:
    res = "Yes"
else:
    res = "No"

print(res)
n = input()
if n[0] != "7" and n[1] != "7" and n[2] != "7":
    print("No")
else:
    print("Yes")
N = input ()
if N.count ('7') != 0:
  print ('Yes')
else:
  print ('No')
s = input()

if "7" in s:
    print("Yes")
else:
    print("No")
has_seven = "7" in input()
if has_seven:
  print("Yes")
else:
  print("No")
N = str(input())
if '7' in N:
  print("Yes")
else:
  print("No")
import collections, math

local = False
if local:
    file = open("input.txt", "r")

def inp():
    if local:
        return file.readline().rstrip()
    else:
        return input().rstrip()

def ints():
    return [int(_) for _ in inp().split()]


n = int(inp())

if "7" in str(n):
    print("Yes")
else:
    print("No")
N = input()
flag = 0
for i in range(3):
  if(N[i] == '7'):
    flag = 1
    print('Yes')
    break
if(flag == 0):
  print('No')
N=int(input())
for i in range(3):
    if (N%10)==7:
        break
    N=N//10
if N!=0:
    print("Yes")
else:
    print("No")
n = input()
ans = n.count("7")
print('Yes' if ans > 0 else 'No')
N=int(input())
N=str(N)
if '7' in N:
    print('Yes')

else:
    print('No')
a = input()

for c in a:
  if c == '7':
    print('Yes')
    exit()
print('No')
N = input()
if N[0] == '7' or N[1] == '7' or N[2] == '7':
   print("Yes")
else:
   print("No")
N = list(input())
print("Yes" if "7" in N else "No")
n = list(input())
for i in range(3):
    if n[i]=='7':
        print('Yes')
        exit()
print('No')
s = input()
for i in range(3):
    if s[i] == '7':
        print('Yes')
        exit()
print('No')
N = input()
if N[0] == '7' or N[1] == '7' or N[2] == '7' :
    print("Yes")
else :
    print("No")
import sys

sys.setrecursionlimit(10 ** 6)
int1 = lambda x: int(x) - 1
p2D = lambda x: print(*x, sep="\n")
def II(): return int(sys.stdin.readline())
def MI(): return map(int, sys.stdin.readline().split())
def LI(): return list(map(int, sys.stdin.readline().split()))
def LLI(rows_number): return [LI() for _ in range(rows_number)]
def SI(): return sys.stdin.readline()[:-1]

def main():
    n=SI()
    if "7" in n:print("Yes")
    else:print("No")

main()
n = input()
if n[0] == '7' or n[1] == '7' or n[2] == '7':
  print("Yes")
else:
  print("No")
s=str(input())
if '7' in s:
    print('Yes')
else:
    print('No')
S = input()
flag = False
length = len(S)
for i in range(length):
  if S[i] == '7':
    flag = True
    break
print("Yes" if flag == True else "No")
n = input()
if '7' in n: print("Yes")
else: print("No")
n = list(input())
print('Yes' if '7' in n else 'No')
s = input()
flg = False
for i in range(3):
    if int(s[i])==7:
        flg = True

if flg == True:
    print("Yes")
else:
    print("No")
n = input()
if ('7' in n):
    print('Yes')
else:
    print('No')
N = int(input())

a = int(N/100)
b = int((N-a*100)/10)
c = int(N-a*100-b*10)

if a == 7 or b == 7 or c == 7:
    print('Yes')
else :
    print('No')
# coding: utf-8
n = input()
for i in n:
    if i == '7':
        print("Yes")
        quit()
print("No")
a = int(input())
b = str(a)
count = 0
for i in b:
  if i=='7':
      count = count + 1
if count>=1:
    print("Yes")
else:
    print("No")
N = str(input())

if "7" in N:
    print("Yes")
else:
    print("No")
n = input()
n_list = []
for i in n:
    n_list.append(i)

print("Yes") if n_list[0] == "7" or n_list[1] == "7" or n_list[2] == "7" else print("No")
import sys
input = sys.stdin.readline

def main():
    N = input().strip()
    if "7" in N:
        print("Yes")
    else:
        print("No")


if __name__ == "__main__":
    main()
N = input()
if N[0] == "7" or N[1] == "7" or N[2] == "7":
    print("Yes")
else:
    print("No")
s = input()
if s[0] == "7" or s[1] == "7" or s[2] == "7":
  print("Yes")
else:
  print("No")
N = input ()
a = "No"
for n in N:
  if n == "7":
    a = "Yes"
print (a)
s = input() 
l = [int(x) for x in s]

if l[0] == 7 or l[1] == 7 or l[2] == 7:
    print('Yes')
else:
    print('No')
N = input()
check = False
for i in range(3):
  if N[i] == "7":
    check = True
    
print("Yes" if check else "No")
# -*- coding: utf-8 -*-
N = str(input())

print("Yes" if N.count("7") > 0 else "No")
x = input()
if x.count('7'):
  print("Yes")
else:
  print("No")
n = input()
counter = 0
for i in n:
  if i == '7':
    counter += 1
if counter != 0:
  print('Yes')
else:
  print('No')
MOD = 10 ** 9 + 7
INF = 10 ** 10
import sys
sys.setrecursionlimit(100000000)
dy = (-1,0,1,0)
dx = (0,1,0,-1)

def main():
    n = input()
    if '7' in n:
        print('Yes')
    else:
        print('No')
if __name__ =='__main__':
    main()
n = int(input())

if '7' in str(n):
    print('Yes')
else:
    print("No")
n = input().strip()

print("Yes" if "7" in n else "No")
n = input()

if '7' in n:
    print ('Yes')
else:
    print ('No')
k = 0
N = input()
for i in range(3):
    if N[i] == "7":
        k = 1


if k == 1:
    print("Yes")
else:
    print("No")
s = input()
if "7" in s:
    print("Yes")
else:
    print("No")
s = input()
flag = 0
for word in s:
    if word == "7":
        flag = 1
print("Yes" if flag else "No")
N=input()

if "7" in N:
    print("Yes")
else :
    print("No")
a = str(input())
if a[0]=="7" or a[1]=="7" or a[2]=="7":
    print("Yes")
else:
    print("No")
n = list(map(int, list(input())))

ans = False

for e in n:
    if e == 7:
        ans = True
        break

if ans:
    print("Yes")
else:
    print("No")
n = input()
if n[0] == "7" or n[1] == "7" or n[2] == "7":
  print("Yes")
else:
  print("No")
a = list(input())
if "7" in a:
  print("Yes")
else:
  print("No")
S = input()
X = 0

for i in range(3):
    if int(S[i]) == 7:
        X += 1
if X == 0:
    print('No')
else:
    print('Yes')
import sys
IS = lambda: sys.stdin.readline().rstrip()
II = lambda: int(IS())
MII = lambda: list(map(int, IS().split()))

def main():
    n = IS()
    if n[0]=='7' or n[1]=='7' or n[2]=='7': print('Yes')
    else: print('No')

if __name__ == '__main__':
    main()
n = input()
if('7' in n): print("Yes")
else: print("No")
n=input()
if("7" in set(n)):
    print("Yes")
else:
    print("No")
a=input()
for i in range(len(a)):
    if a[i]=="7":
        print("Yes")
        exit()
print("No")
N = input()
true_flag = False
for i in N:
    if i == "7":
        print("Yes")
        exit()
print("No")
import sys
N = sys.stdin.readline()
flag = False
for i in N:
  if i == "7":
    flag = True
    break
if flag:
  print("Yes")
else:
  print("No")
s=input()
ch=False
for i in s:
    if i=="7":ch=True
if ch:print("Yes")
else:print("No")
n=int(input())
#a,b=map(int,input().split())
#l=list(map(int,input().split()))
#l=[list(map(int,input().split())) for i in range(n)]

if "7" in str(n):
    print("Yes")
else:
    print("No")
N = str(input())
if '7' in N:
    print('Yes')
else:
    print('No')
N = str(input())

if(N[0]=="7" or N[1]=="7" or N[2]=="7"):
    print("Yes")
else:
    print("No")
from collections import defaultdict
from collections import deque
from string import ascii_uppercase
import sys, bisect, math, heapq

stdin = sys.stdin
read_int = lambda : list(map(int,stdin.readline().split()))
read_str = lambda : stdin.readline().rstrip()

S = read_str()

def solve():
    return S[0] == '7' or S[1] == '7' or S[2] == '7'

if __name__ == "__main__":
    if solve():
        print('Yes')
    else:
        print('No')
# A Lucky 7

N = input()

for n in N:
  if n == "7":
    print("Yes")
    exit()
else:
  print("No")
N = input()
if '7' in N:
	print('Yes')
else:
	print('No')
L = list(input())
if "7" in L:
  print("Yes")
else:
  print("No")
s = input()
if "7" in s:
  print("Yes")
else:
  print("No")
N = int(input())

a = N%10
b = (N//10)%10
c = (N//100)%10
if a==7 or b==7 or c==7:
    print('Yes')
else:
    print('No')
num = int(input())
list = list(str(num))
count = 0

for i in range(3):
  if list[i] == "7":
    print("Yes")
    break
  else:
    count += 1

if count == 3:
  print("No")
else:
  None
i = str(input())
if "7" in i:
    print("Yes")
else:
    print("No")
N = input()
for i in range(3):
  if N[i]=='7':
    print('Yes')
    exit()
print('No')
import sys

A = input()

for i in range(len(A)):
    if A[i] == '7':
        print('Yes')
        sys.exit()
print('No')
n=list(input())
if "7" in n:
    print("Yes")
else:
    print("No")
n = input()
n = str(n)
if '7' in n:
  print("Yes")
else:
  print("No")
N = input()
ret = 'No'
for c in N:
  if c == '7':
    ret = 'Yes'
print(ret)
n = input()
if "7" in n:
  print("Yes")
else:
  print("No")
n = input()
if n.count('7') >= 1:
    print("Yes")
else:
    print("No")
def main():
    n = int(input())
    if '7' in str(n):
        print ("Yes")
    else:
        print ("No")
main()
def q1():
    num = input()
    if "7" in num:
        print("Yes")
    else:
        print("No")

q1()
n = list(input(''))

if '7' in n:
    print('Yes')
else:
    print('No')
N=input()
if '7' in N:
    print('Yes')
else:
    print('No')
n=input()
if n[0]=="7" or n[1]=="7" or n[2]=="7":
  print("Yes")
else:
  print("No")
def digit(n):
    while n:
        if n%10==7:
            return True
        n//=10
    return False
n=int(input())
if digit(n):
    print("Yes")
else:
    print("No")
n = map(str,input())
print('Yes' if '7' in n else 'No')
a = str(input())

if "7" in a:
    print("Yes")
else:
    print("No")
N = input()

if list(filter(lambda x: x=="7", N)):
    print("Yes")
else:
    print("No")
n = map(int, input())
x = list(n)
print("Yes" if 7 in x else "No")
a, b, c = input()
k = 0

if a == '7':
  k += 1
elif b == '7':
  k += 1
elif c == '7':
  k += 1
if k == 0:
  print('No')
else:
  print('Yes')
n = input()
res = False
for i in n:
  if i == '7':
    res = True
if(res):
  print("Yes")
else:
  print("No")
N1,N2,N3 = map(str,input())

if N1=="7" or N2 =="7" or N3 == "7":
    print("Yes")
else:
    print("No")
n = input()

if '7' in n:
  print('Yes')
else:
  print('No')
n = input()
f=0
for i in n:
  if i=='7':
    f=1
    
if f:
  print("Yes")
else:
  print("No")
x = str(input())

if '7' in x:
    print('Yes')
else:
    print('No')
n = input()
if '7' in n:
	print('Yes')
else:
	print('No')
n=input()
a="No"
for i in range(3):
  if n[i]=="7":
    a="Yes"
    break
print(a)
from sys import stdin

s = stdin.readline().rstrip()

if "7" in s:
  print("Yes")
else:
  print("No")
import sys
n=input()
for i in n:
    if i=="7":
        print("Yes")
        sys.exit()
print("No")
s = input()
print("Yes" if s.find("7") != -1 else "No")
n = input()
count = 0
for i in n:
  if i == '7':
    count += 1
if count > 0:
  print('Yes')
else:
  print('No')
N = input()
for a in N:
    if a == "7":
        print("Yes")
        exit()
print("No")
int = int(input())
i=1
while i<=3:
  dev=int % 10
  if dev == 7:
    print("Yes")
    i=5
  int = int // 10
  i += 1
  if i==4:
    print("No")
"""
int(input())
map(int,input().split())
list(map(int,input().split()))

"""
s=input()
if('7' in s):
    print("Yes")
else:
    print("No")
s = input()

for i in range(3):
    if (s[i] == "7"):
        print("Yes")
        exit()
print("No")
a = input()
if "7" in a:
  print("Yes")
else:
  print("No")
a=int(input())
while(a>0):
  k=a%10
  if k==7:
    print("Yes")
    exit()
  a//=10
print("No")
n = input()

if n.find('7') >= 0 :
  print("Yes")
else:
  print("No")
input_string = input()
yes = 0
for n in input_string:
  if n == '7':
    print('Yes')
    yes = 1
    break
if yes:
  print('No')
N=input()

flg=0
for i in range(len(N)):
    if N[i]=='7':
        flg=1
        exit(0)
if flg!=0:
    print('Yes')
else:
    print('No')
string=input()
t=False
for i in range (3):
  if string[i]=="7":
    t=True
if t==True:
  print("YES")
else:
  print("NO")
K = int(input())

from math import gcd


sum = 0
for a in range(1,K+1):
    for b in range(1,K+1):
        for c in range(1,K+1):
            sum += gcd(gcd(b,c), a)

print(sum)
n = input()
if n.find('7'):
    print('Yes')
else:
    print('No')
N = input()
if ( '5' in N ):
	print("Yes")
else:
  	print("No")
n = input()
for i in n:
  if i == 7:
    print("Yes")
    quit()
print("No")
N = input()
if N[0] == '7' or N[1] == '7' or N[2] == '7':
    print("yes")
else:
    print("no")
N = str(input())
if N[0] == 7 or N[1] == 7 or N[2] == 7:
    print("Yes")
else:
    print("No")
N = input()

for n in N:
    if n == '7':
        ans = 'Yes'
    else:
        ans = 'No'

print(ans)
from sys import stdin, stdout
def main():
    n=stdin.readline().rstrip()
    if '7' in n:
        print('YES')
        return
    print('NO')
    return
main()
a = map(int, input().split())
a = int(list(a)[0])

ans = 'No'
while a > 99:
    if a % 10 == 7:
        ans = 'Yes'
        break
    a /= 10
    a = int(a)

print(ans)
N = str(input())
if N in ['7']:
    print("Yes")
else:
    print("No")
n = input()

if n[0] != 7 and n[1] != 7 and n[2] == 7:
  print("No")
else:
  print("Yes")
n=input()

ans='No'

if n[0]==7 or n[1]==7 or n[2]==7:
    ans='Yes'
print(ans)
a = int(input())
b=0
for i in range(1,a+1):
  if i%3 != 0 and i%5 != 0 :
    b+=i
print(b)
from random import random
print(['Yes', 'No'][random() < 0.5])
n=int(input())
data=[10**i for i in range(1,3+1)]
for i in data:
  if n%i==7:
    print("Yes")
    exit()
print("No")
S = input()
if '7' in 'S':
    print('Yes')
else:
    print('No')
n = int(input())
n1 = n%10
n2 = (n-n1)%100
n3 = n//100

if (n1 == 7 or n2 == 7 or n3 == 7):
    print("Yes")
else:
    print("No")
n = input()
for ni in n:
    if ni == '7':
        print('YES')
        quit()
print('NO')
import sys
input = sys.stdin.readline

n = int(input())
a = n // 100
if a == 7:
    print("Yes")
b = (n - a*100) // 10
if b == 7:
    print("Yes")
c = (n - a*100 - b*10)
if c == 7:
    print("Yes")
else:
    print("No")
s = list(input())

if int(s[0])%7==0 or int(s[1])%7==0 or int(s[2])%7==0:
    print('Yes')
else:
    print('No')
N = input()
Sev = '7'
if N.find(Sev):
    print('Yes')
else:
    print('No')
n = input()
if "7" in n:
    print("Yss")
else:
    print("No")
N = input()

flag = False

for char in N:
  if char == '7':
    print('Yes')
    flag = True

if flag == False:   
  print('No')
a = input()
if a.count("7")>0:
	print("YES")
else:
	print("NO")
#!/usr/bin/env python3
import sys

YES = "Yes"  # type: str
NO = "No"  # type: str


def solve(N: int):
    print(YES if (N//100 == 7 or N//10 == 7 or N%10 == 7) else NO)
    return


def main():
    def iterate_tokens():
        for line in sys.stdin:
            for word in line.split():
                yield word
    tokens = iterate_tokens()
    N = int(next(tokens))  # type: int
    solve(N)

if __name__ == '__main__':
    main()
input_num = input("Enter a number between 100 and 999: " )
input_int = int(input_num)

if  input_int > 999 or input_int < 100:
    print("error")

elif str(input_int)[-1] == '7':
  print("Yes")
elif str(input_int)[-2] == '7':
  print("Yes")
elif str(input_int)[-3] == '7':
  print('Yes')
else:
  print('No')
s = input() 
l = [int(x) for x in s]

if l[0] == 7 or l[1] == 7 or l[2] == 7:
    print('YES')
else:
    print('NO')
import itertools
import functools
import math

def OK():
    N = int(input())

    sum = 0
    cnt = 0
    for i in range(1,N+1):
        for j in range(1,N+1):
            chk = math.gcd(i,j)
            for k in range(1,N+1):
                sum += math.gcd(chk,k)

    print(sum)

OK()
N= input()
if(N[0] == str(7)):
    print("Yes")
elif(N[1] == str(7)):
    print("Yes")
elif(N[2] == str(7)):
    print("Yes")
else:
    print("N0")
N=input()

if N in "7":
  print("Yes")
else:
  print("No")
n = input()
 
if n in "7":
  print("Yes")
elif n not in "7":
  print("No")
s = int(input())
sum = 0
for i in range(1,s+1):
    if i%3 == 0 and i%5 == 0:
        j=0
    elif i%3==0 or i%5==0:
        j=0
    else:
      
        sum += i
print(sum)
import math
from functools import reduce

def gcd(*numbers):
    return reduce(math.gcd, numbers)

def gcd_list(numbers):
    return reduce(math.gcd, numbers)

k=int(input())
ans=0
for a in range(1,k+1):
    for b in range(1,k+1):
        for c in range(1,k+1):
            ans+=gcd(a,b,c)
print(ans)
a,b,c = input()
a = int(a)
b = int(b)
c = int(c)
if (a*b*c)%7 == 0:
  print("Yes")
else:
  print("No")
N = input()
tip = "No"
if (N[0] == 7) or (N[1] == 7) or (N[2] == 7):
  tip = "Yes"
print(tip)
N = 127
N = str(N)
list_N = list(N)
list_N = [int(s) for s in list_N]
print(list_N)

if(list_N[0] != 7 and list_N[1] != 7 and list_N[2] != 7):
  print("No")
else:
  print("Yes")
N = list(map(int, input()))

if 7 in N:
    print("YES")
else:
    print("NO")
n=int(input()) 
res="No" 
for i in range(3):
  if n%7==0:
    res="Yes"
  n//=10
print (res)
def main():
    # -*- coding: utf-8 -*-
    # 整数の入力
    # a = int(input())
    # スペース区切りの整数の入力
    # b, c = map(int, input().split())
    # b, c = map(int, input())

    # # 文字列の入力
    a = input()
    # 出力
    # print("{} {}".format(a+b+c, s))

    # mul = a

    if '7' in a:
        print("YES")
    else:
        print("NO")


if __name__ == '__main__':
    # main('170')
    main()
N = int(input())

A=  N//100
B = (N//10)%10
C = N%10

if (A==7) or (B==7) or (B==7):
  print("Yes")
else:
  print("No")
n = list(str(input()))
flag = True 
for i in range(len(n)):
  if n[i] == '7':
    print('YES')
    flag = False 
    break
if flag:
  print('NO')
s=input()
for e in s:
  if e=="7":
    print("YES")
    break
else:
  print("NO")
N = int(input())
total = 0
for i in range(1, N + 1):
    if i % 3 != 0 and i % 5 != 0:
        total += i
print(total)
n='str(input())'
for i in range(len(n)):
  if n[i]=='7':
    print('Yes')
    exit()
print('No')
x=int(input())

x1=x//100
x2=(x%100)//10
x3=x%10

if(x1==7 or x2==7 or x3==7):
  print("yes")
else:
  print("no")
N=input()
if N.find('7') > 0:
    print('Yes')
else:
    print('No')
a = list(input())

yes = 0

for i in a:
  print(i)
  if i == '7':
    yes += 1
if yes > 0:
  print('Yes')
N = input()

if N in '7':
  print('Yes')
else:
  print('No')
def main():
  n = int(input())
  flag = 0
  while n < 0:
      if n % 10 == 7:
          flag += 1
          n /= 10
  if flag > 0:
      print('Yes')
  else:
      print('No')
main()
i = input()

i = int(i)

flg = False

while i != 0:
  check = i % 10
  if check == 7:
    flg = True
    break
  i = i / 10

if flg == True:
  print('Yes')
else:
  print('No')
import math
K = int(input())

ans = 0
for i in range(1,K+1):
  for j in range(1,K+1):
    for k in range(1,K+1):
      ans += math.gcd( math.gcd(i,j) , k )

print(ans)
a,b,c = input()
"Yes" if(a=='7' or b=='7' or c=='7') else "No"
s=str(input())

if s[0] != 7 and s[1] != 7 and s[2] != 7:
    print("No")

else:
    print("Yes")
import math
K = int(input())
ans = 0
for a in range(K):
  for b in range(K):
    for c in range(K):
      ans += math.gcd(a+1, math.gcd(b+1, c+1))
print(ans)
N = input()

for i in N:
    if i == '7':
        print('Yes')
    else:
        print('No')
s = "127"
if s[0] is "7":
  print("Yes")
elif s[1] is "7":
  print("Yes")
elif s[2] is "7":
  print("Yes")
else:
  print("No")
# -*- coding: utf-8 -*-
  
N = input()
for i in N:
    if i == '7':
        print('Yes')
        break
        
print('No')
N = input()

s = str(N)
if s.count("7")>0:
	print(True)
else:
	print(False)
n=input()
result=''
for s in n:
    if s=='7':
        result+='Yes'
    else:
        continue
if result=='Yes':
    print(result)
else:
    print('No')
from math import gcd
r = range(1, int(input()) + 1)
print(sum(gcd(gcd(a, b), c)) for a in r for b in r for c in r)
N = int(input())

s = str(N)

if s in '7':
    print('Yes')
else:
    print('No')
s = input()

print(s.find("7"))
if(s.find("7")== -1):
    print("NO")
else:
    print("YES")
n = input()
for letter in n:
    if letter == '7':
        result = "Yes"
    else:
        result = 'No'
print(result)