peterverebics/CodeNet_Python_118 huggingface dataset:
N = input()

if N[0]=='7' or N[1]=='7' or N[2]=='7':
    print('Yes')

else:
    print('No')
in_set = set(input())
if '7' in in_set:
    print('Yes')
else:
    print('No')
N = list(input())

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

if "7" in S:
    print('Yes')

else:
    print('No')
N = input()
if '7' in N:
    print ('Yes')
else:
    print ('No')
if input().count('7'):
        print("Yes")

else:
    print("No")
n = list(str(input()))
if "7" in n:
  print("Yes")
else:
  print("No")
def main():
    n = input()
    for x in n:
        if x == "7":
            print("Yes")
            return
    print("No")

if __name__ == "__main__":
    main()
N=input()
if "7" in N:
    print("Yes")
else:
    print("No")
N=int(input())
N_str=set(str(N))
if "7" in N_str :
    print("Yes")
else:
    print("No")
N=raw_input()
if "7" in N:
    print "Yes"
else:
    print "No"
N = list(str(input()))
if int(N[0]) == 7 or int(N[1]) == 7 or int(N[2]) == 7:
  print('Yes')
else:
  print('No')
S = input()
# シンプルに文字列のままでok
if '7' in S:
    print('Yes')
else:
  print('No')
n=input()
if "7" in n :
    print("Yes")
else:
    print("No")
N = input()

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

if '7' in n:
    print('Yes')
else:
    print('No')
s = int(input())
if s%10 == 7:
    print("Yes")
elif int(s/10)%10 == 7:
    print("Yes")
elif int(int(s/10)/10)%10 == 7:
    print("Yes")
else:
    print("No")
s = list(input())

if "7" in s:
  print("Yes")
else:
  print("No")
def solve():

    N = input()

    if '7' in N:
        print("Yes")
    else:
        print("No")


if __name__ == "__main__":
    solve()
N = input().strip()
if N[0] == '7' or N[1] == '7' or N[2] == '7':
    print("Yes")
else:
    print("No")
N = input()
r = False
for n in N:
    if n == "7":
        r = True
if r:
    print("Yes")
else:
    print("No")
N = input()
if '7' in N:
  print('Yes')
else:
  print('No')
N = list(input())
if N[0] == "7" or N[1] == "7" or N[2] == "7":
  print("Yes")
else:
  print("No")
N = input()
if '7' in str(N):
  print('Yes')
else:
  print('No')
x=input()
if x[0] == "7" or x[1] == "7" or x[2] == "7":
    print("Yes")
else:
    print("No")
N = input()
f = 'No'
for i in N:
  if i == '7':
    f = 'Yes'
print(f)
K=str(input())
if (int(K[0])%7==0 and int(K[0])!=0 )or (int(K[1])%7==0 and int(K[1])!=0 ) or (int(K[2])%7==0 and int(K[2])!=0 ):
    print('Yes')
else:
    print('No')
num = input()
  
if '7' in num:
    print("Yes")
else:
    print("No")
N = int(input())

A = str(N)
check = 0

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

if N.count('7') == 0:
    print('No')
else:
    print('Yes')
N = input()

l = [int(x) for x in list(str(N))]

if int(7) in l:
  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 = int(input())

has_7 = '7' in str(n)

if has_7:
	print('Yes')
else:
  	print('No')
score = int(input())
answer = 0
for i in range(3):
    if int(score/(10**i))%10 == 7:
        answer = 1
        break
if answer == 1:
    print('Yes')
else:
    print('No')
data = input()

if data.find("7") != -1:
  print("Yes")
else:
  print("No")
n = list(input())
if '7' in n:
  print('Yes')
else:
  print('No')
if '7' in input():
	print("Yes")
else:
	print("No")
n = list(input())
a = int(n[0])
b = int(n[1])
c = int(n[2])
if a == 7 or b == 7 or c == 7:
  print("Yes")
else:
  print("No")
import string
def num():
    return int(input())
def nums():
    return list(map(int,input().split()))


if "7" in input():
    print("Yes")
else:
    print("No")
n=str(input())
n=list(n)
count=0
for i in range(len(n)):
  if(n[i]=="7"):
    count+=1
if(count!=0):
  print("Yes")
else:
  print("No")
def main():
    n = list(input())
    if "7" in n:
        print("Yes")
    else:
        print("No")
    return 

if __name__== "__main__":
    main()
import sys
import math
import fractions
from collections import deque
from collections import defaultdict
sys.setrecursionlimit(10**7)

N = input()

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

if "7" in N:
    print("Yes")
else:
    print("No")
# -*- coding: utf-8 -*-

N = int(input())
ans = 'No'

a = N%10
N = N//10

b = N%10
N = N//10

c = N%10
N = N//10

if a==7 or b==7 or c==7:
    ans ='Yes'

print(ans)
n = input()
  
ans = 'No'
  
for i in n:
    if i == '7':
        ans = 'Yes'
        break

print(ans)
if '7' in str(input()):
    print('Yes')
else:
    print('No')
N = input()
 
flag =0
if N[0] == "7":
  flag = 1
if N[1] == "7":
  flag = 1
if N[2] == "7":
  flag = 1
  
if flag == 1:
  print("Yes")
else:
  print("No")
n = input()
if n.find("7") != -1:
  print("Yes")
else:
  print("No")
line = str(input())
if "7" in line:
  print("Yes")
else:
  print("No")
N = int(input())
strN = str(N)

if strN.count("7") > 0:
    print("Yes")
else:
    print("No")
# AtCoder
N = list(input())
if '7' in N:
    print('Yes')
else:
    print('No')
N = str(input())
if "7" in N:
    print("Yes")
else:
    print("No")
n=list(map(int,input()))
if 7 in n:
  print("Yes")
else:
  print("No")
n=input()

if "7" in n:
    print("Yes")
else:
    print("No")
n = int(input())
ans = 'No'
for i in str(n):
    if int(i) == 7:
        ans = 'Yes'
print(ans)
n = int(input())

x = n % 10
y = (n // 10) % 10
z = n // 100
if x == 7 or y == 7 or z == 7:
    print("Yes")
else:
    print("No")
N = str(input())
result = any([True if n == '7' else False for n in N])
if result:
    print('Yes')
else:
    print('No')
#k = int(input())
#s = input()
#a, b = map(int, input().split())
#l = list(map(int, input().split()))

n = input()

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

ans = n.find('7')

if ans == -1:
    print('No')
else:
    print('Yes')
N = list(input())
if "7" in N:
    print("Yes")
else:
    print("No")
str = input()
if '7' in str:
    print("Yes")
else:
    print("No")
a = input()
if(a[0]=='7' or a[1]=='7' or a[2]=='7'):
  print("Yes")
else:
  print("No")
n=int(input())
f=0
while n>0:
      c=n%10
      if  c==7:
            f=1
            print("Yes")
            break
      n=int(n/10)
if f==0:
      print("No")
import sys

N = input()

for ch in N:
    if ch == '7':
        print('Yes')
        sys.exit()
print('No')
k=list(map(str,input()))

flag=0
for i in range(len(k)):
    if k[i]=='7':
        flag=1
        print("Yes")
        break
    else:
        flag=0
        
if flag==0:
    print("No")
N = input()
if N.count("7") > 0:
    print("Yes")
else:
    print("No")
def main():
    import sys
    sys.setrecursionlimit(10 ** 6)
    input = sys.stdin.readline
    N = input().strip()
    if '7' in N:
        print('Yes')
    else:
        print('No')
    

if __name__ == '__main__':
    main()
from math import *

n = input()
ha = False
for i in n:
    if i == '7':
        ha = True
        break


if ha:
    print('Yes')
else:
    print('No')
ln = list(input())
for i in ln:
    if i == "7":
        print("Yes")
        exit()
print("No")
n = int(input())
a = set()
while n != 0:
    rem = n % 10
    a.add(rem)
    n //= 10
if 7 in a:
    print("Yes")

else:
    print("No")
N = input()

if N[0] == '7' or N[1] == '7' or N[2] == '7':
  print("Yes")
else:
  print("No")
n = input()
if '7' in n:
  print('Yes')
else:
  print('No')
S = input()
if '7' in S:
    print('Yes')
else:
    print('No')
N=input()

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

if string[0] == "7" or string[1] == "7" or string[2] == "7": print("Yes")
else: print("No")
from sys import stdin

A=input()
if A[0]=='7' or A[1]=='7' or A[2]=='7':
    print("Yes\n")
else:
    print("No\n")
n = list(input())
if "7" in n:
    print("Yes")
else:
    print("No")
N = input()
if "7" in N:
    print("Yes")
else:
    print("No")
s = input()
if s.count('7') > 0:
    print('Yes')
else:
    print('No')
s = input()
  
if "7" in s:
	print("Yes")
else:
  	print("No")
n = input()
if "7" in n:
  print("Yes")
else:
  print('No')
import sys
# sys.stdin = open('input.txt')

n = input()
if n.__contains__('7'):
    print('Yes')
else:
    print('No')
a = input()
for aa in a:
    if aa == '7':
        print('Yes')
        break
else:
    print('No')
N=str(input())
a=list(N)
if '7' in a:
	print('Yes')
else:
	print('No')
if '7' in input():
    print("Yes")
else:
    print("No")
n = list(map(int, input()))

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

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

if str(n)[0] == "7" or str(n)[1] == "7" or str(n)[2] == "7":
    print("Yes")
else:
    print("No")
N = list(map(int,input()))
for i in range(3):
    if(N[i]== 7):
        print('Yes')
        break
    elif(i == 2 ):
        print('No')
a,b,c=input()
if a=='7' or b=='7' or c=='7':
  print("Yes")
else:
  print('No')
N = int(input())

if int(N / 100) == 7 or int((N % 100) / 10) == 7 or N % 10 == 7:
  print('Yes')
else:
  print('No')
N= input()
for i in range (3):
  if N[i]=='7':
    print('Yes')
    exit()

print('No')
n = input()

nn = list(n)
flag = 0

for i in range(3):
    if nn[i] == '7':
        flag += 1

if flag >= 1:
    print("Yes")
else:
    print("No")
n = list(input())
if '7' in n:
    print('Yes')
else:
    print('No')
n=input()
l=list(n)
val=0
for i in l:
    if i=="7":
        val=1
        break
if val==1:
    print("Yes")
else:
    print("No")
import itertools
import math
import fractions
import functools
n = input()
for i in range(len(n)):
    if n[i] == "7":
        print("Yes")
        quit()

print("No")
n = list(input())

for i in n:
    if int(i) == 7:
        print('Yes')
        break
else:
    print('No')
N = input()
flag = 0
for i in N:
  if i == "7":
    print("Yes")
    flag = 1
    break
if flag == 0:
  print("No")
N=(input())
x=N.count("7")
if x>0:
    print("Yes")
else:
    print("No")
n = input()
ans = 'No'
for i in n:
    if i == '7':
        ans = 'Yes'
        break
print(ans)
N = map(int, list(input()))
if 7 in N:
    print("Yes")
else:
    print("No")
n=list(input())
if "7" in n:
  print("Yes")
else:
  print("No")
N=input()
if "7" in N:
  print("Yes")
else:
  print("No")
a, b, c = input()
a=int(a)
b=int(b)
c=int(c)


if a == 7:
    print('Yes')
else:
    if b == 7:
        print('Yes')
    else:
        if c == 7:
            print('Yes')
        else:
            print('No')
N = str(input())
if "7" in N:
  print("Yes")
else:
  print("No")
s = str(input())

n = len(s)
cnt = 0
for i in range(n):
    if s[i] == '7':
        cnt = 1
        break

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

f = False
for i in N:
    if i == '7':
        f = True
        break
if f:
    print("Yes")
else:
    print("No")
N = input()

if N[0] == '7' or N[1] == '7' or N[2] == '7':
  print('Yes')
else:
  print('No')
N = input()
if '7' in N:
    print("Yes")
else:
    print("No")
a = input()
if a[0] == "7" or a[1] == "7" or a[2] == "7":
    print("Yes")
else:
    print("No")
N = list(input())

if ('7' in N):
    print('Yes')
else:
    print('No')
import sys
N = str(input())

if '7' in N:
  print('Yes')
  sys.exit()

print('No')
a=str(input())
if a[0] =='7' or a[1] =='7' or a[2]=='7':
    print("Yes")
else:
    print("No")
N = input()

if N[0] == '7' or N[1] == '7' or N[2] == '7' :
	print ('Yes')

else :
	print ('No' )
n = str(input())

for i in range(3):
    if n[i] == "7":
        print("Yes")
        break
    elif i == 2:
        print("No")
n = input()

if n.count("7") >= 1:
    print("Yes")
else:
    print("No")
n = int(input())
s = list(str(n))

if s[0]=="7" or s[1]=="7" or s[2]=="7":
    print("Yes")
else:
    print("No")
inp=input()
ok=0
for i in range(len(inp)):
  if(inp[i]=='7'):
    print("Yes")
    ok=1
    break
if(ok==0):
  print("No")
n = input()
s_flg = 0
for i in range(len(n)):
    if n[i] == '7':
        s_flg = 1
if s_flg:
    print('Yes')
else:
    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 = list(input())

if '7' in n:
  print('Yes')
else:
  print('No')
n = input()
if '7' in n : print('Yes')
else : print('No')
t=False
for i in input():
    if i=='7':
        t=True
        break
print('Yes' if t==True else 'No')
N = int(input())
M = str(N)
List = []
for i in M:
    if i == '7':
        List.append(i)
    else:
        pass
if len(List) != 0:
    print('Yes')
else:
    print('No')
x = input()
if "7" in x:
    print("Yes")
else:
    print("No")
N = input()

print("Yes" if N.count("7") >= 1 else "No")
def main():
    N = input()
    if (N[0] == "7") or (N[1] == "7") or (N[2] == "7"):
        print("Yes")
    else:
        print("No")

    return 0


if __name__ == '__main__':
    main()
N = input()
hN = str(N)[0:1]
dN = str(N)[1:2]
mN = str(N)[2:3]
#print(str(N)+hN+dN+mN)

bool = 0

if hN == '7':
    bool = bool + 1
elif dN == '7':
    bool = bool + 1
elif mN == '7':
    bool = bool + 1

if bool == 1:
    print('Yes')
elif bool == 0:
    print('No')
N=str(input())
if int(N[0])==7 or int(N[1])==7 or int(N[2])==7:print('Yes')
else:print('No')
N = input()

if '7' in N:
  print('Yes')
else:
  print('No')
N=input()
a=0
if N[0]!='7':
    if N[1]!='7':
        if N[2]!='7':
            print('No')
            a=1
if a==0:
    print('Yes')
def main():
    N = input()
    if "7" in N:
        print("Yes")
    else:
        print("No")


main()
"""
her basamağaa bak, if 7 varsa print yes else print no :)

1. 526 572 777 : "526" "572" "777" 
"""
flag = False

N = input()
N = int(N)

for i in range(3) :
    if N%10==7:
        flag = True
    N = N//10
 
    
if flag :
    print("Yes")
else :
    print("No")
N = input()
if (int(N[0])== 7) or (int(N[1])== 7) or (int(N[2])== 7):
    print('Yes')
else:
    print('No')
a,b,c = input()
print('Yes' if(a=='7' or b=='7' or c=='7') else 'No')
N = []
N = list(input())
a = 0

for i in range(len(N)):
    if (N[i] == "7"):
        a = 1

if (a == 0):
    print("No")
else:
    print("Yes")
n = input()
flag = False
for i in n:
    if i == '7':
        flag = True
        break
if flag == True:
    print('Yes')
else:
    print('No')
S = input()
ans = "No"
for char in S:
    if char == "7":
        ans="Yes"
        break
print(ans)
N = input()
ans = "No"

if N[0] == '7' or N[1] == '7' or N[2] == '7':
  ans = "Yes"

print(ans)
n = input()
n = list(n)
if '7' in n:
    print('Yes')
else:
    print('No')
n = input()
for ni in n:
  if ni == '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 = input()
if '7' in list(N):
    print("Yes")
else:
    print("No")
def solve():
    N = list(input())
    print('NYoe s'['7' in N::2])


if __name__ == '__main__':
    solve()
n = input()

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

if N[0] == '7' or N[1] == '7' or N[2] == '7':
    print('Yes')

else:
    print('No')
num = input()
arr = list(num)
if '7' in list(num):
    print("Yes")
else :
    print("No")
n = input()
for i in range(3):
  if n[i] == "7":
    print("Yes")
    break
  elif i==2 and n[i]!="7":
    print("No")
N = input()

for i in N:
    if 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")
n = input()

if "7" in n:
  print("Yes")
else:
  print("No")
# A - Lucky 7

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

N =  str(input())

if '7'in N:
    print("Yes")
else:
    print("No")
n=input()
print("Yes" if n.count("7")>0 else"No")
s = input()

if s.count("7") > 0:
    print("Yes")
else:
    print("No")
s = input()

if s.count('7') > 0:
    print('Yes')
else:
    print('No')
N = input()
flag = False
for i in range(len(N)):
    if N[i] == '7':
        flag = True

if flag:
    print('Yes')
else:
    print('No')
N = input()
for x in N:
    if x == "7":
        print("Yes")
        exit()
print("No")
n = int(input())
print('Yes' if '7' in [i for i in str(n)] else 'No')
N = input()
print('Yes' if N[0] == '7' or N[1] == '7' or N[2] == '7' else 'No')
num = input();

if num[0] == "7" or num[1] == "7" or num[2] == "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')
S=input()
print("YNeos"[not(S.find("7")>=0)::2])
s=input()
if '7' in s:
    print("Yes")
else:
    print("No")
N  = int(input())
k = str(N)
m = list(k)
ans = "No"
if("7" in m):
  ans = "Yes"
print(ans)
i = input()
if i[0] == '7' or i[1] == '7' or i[2] == '7':
    print("Yes")
else:
    print("No")
import sys
input = sys.stdin.readline
ins = lambda: input().rstrip()
ini = lambda: int(input().rstrip())
inm = lambda: map(int, input().split())
inl = lambda: list(map(int, input().split()))

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

result = ""
while n > 0:
    if n % 10 == 7:
         result = 'Yes'
         break
    else:
        n //= 10
if not result:
    result = 'No'
print(result)
N = input()

if ( N[0]=='7' ) or ( N[1] =='7' ) or ( N[2] =='7' ):
  print('Yes')
else:
  print('No')
#!/usr/bin/env python3

MOD = 10**9
def make_divisors(n):
    divisors = []
    for i in range(1, int(n**0.5)+1):
        if n % i == 0:
            divisors.append(i)
            if i != n // i:
                divisors.append(n//i)
    return divisors

N = input()
if '7' in N: print('Yes')
else : print('No')
result = False

list = list(input())
# print(list[1])


for num in range(len(list)):
    #print(list[num])
    #print(type(list[num]))
    if int(list[num]) == 7:
        result = True
        print('Yes')
        break

if result == False :
    print('No')
S=list(input())

ans='No'
for s in S:
    if s =='7':
        ans='Yes'
print(ans)
N = input()

if N[0] != '7' and N[1] != '7' and N[2] != '7':
    print('No')
else:
    print('Yes')
def main():
    N = int(input())
    if N % 10 == 7:
        print('Yes')
        return
    d1 = N // 10
    if d1 % 10 == 7:
        print('Yes')
        return
    d2 = d1 // 10
    if d2 % 10 == 7:
        print('Yes')
        return
    print('No')
    return


if __name__ == "__main__":
    main()
n = input()

l = len(n)

ans = 0

for i in range(l):
    if n[i] == '7':
        ans += 1
    else:
        pass

if ans >= 1:
    print('Yes')
else:
    print('No')
n = input()
flag = True
for i in n:
    if i == '7' and flag:
        print("Yes")
        flag = False
if flag:
    print("No")
N = input()
A = "No"
for i in range(len(N)):
    if N[i] == "7":
        A = "Yes"
        i = i + 1
print(A)
N = list(input())

for a in N:
    if a == '7':
        print('Yes')
        quit()
print('No')
if __name__ == '__main__':
    n = input()

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

res = False
for i in N:
    if i == '7':
        res = True

if res == True:
    print('Yes')
else:
    print('No')
a=str(input())
if '7' in a:
    print("Yes")
else:
    print("No")
n = input()
print("Yes" if n.count('7')>0 else "No")
n=input()

flag=0

for i in range(0,3):
    if(n[i]=='7'):
        flag=1

if(flag==0):
    print('No')
else:
    print('Yes')
N = int(input())

result = "No"
if (N >=700 and N<800):
	result = "Yes"

if (N%100 >= 70 and N%100 < 80):
	result = "Yes"

if (N%10 >= 7 and N%10 < 8):
	result = "Yes"

print(result)
N=str(input())
A=N.find("7")
if A==-1:
    print("No")
else:
    print("Yes")
n = int(input())
isNana = False

while n > 0:
    if (n - 7) % 10 == 0:
        isNana = True
    n = int((n - (n % 10)) / 10)
    
if isNana:
    print('Yes')
else:
    print('No')
def a162(n):

    return "Yes" if n.count("7") else "No"

def main():
    n = str(input())
    print(a162(n))

if __name__ == '__main__':
    main()
s=input()
for i in range(len(s)):
    if s[i] =="7":
        print("Yes")
        break
else:
    print("No")
N = input()

if '7' in N :
  print('Yes')
else :
  print('No')
n = list(input())
flag = False

for i in range(3):
  if n[i] == "7":
    flag = True
    
if flag:
  print("Yes")
else:
  print("No")
s = input()

if '7' in s:
	print('Yes')
else:
	print('No')
# coding: utf-8

# 標準入力<str>
N = input()

ans = "No"

for n in range(3):
  if N[n - 1] == "7":
    ans = "Yes"

print(ans)
import sys
read = sys.stdin.buffer.read
#input = sys.stdin.readline
#input = sys.stdin.buffer.readline

#sys.setrecursionlimit(10**9)
#from functools import lru_cache

def RD(): return sys.stdin.read()
def II(): return int(input())
def MI(): return map(int,input().split())
def MF(): return map(float,input().split())
def LI(): return list(map(int,input().split()))
def LF(): return list(map(float,input().split()))
def TI(): return tuple(map(int,input().split()))
# rstrip().decode('utf-8')


def main():
	a=input()
	ans="No"
	
	for i in range(3):
		if a[i]==str(7):
			ans="Yes"
	
	print(ans)
	
	
if __name__ == "__main__":
	main()
n = input()
x = len(n)
b = 'false'
for i in range(x):
    if n[i] is '7':
        b = 'true'
        print('Yes')
        break
if b is not 'true':
  print('No')
x = input()
target = '7';
if(x[0]==target or x[1]==target or x[2]==target):
  print("Yes")
else:
  print("No")
S=input()
if "7" in S:
  print("Yes")
else:
  print("No")
N=input()
if N[0]=='7' or N[1]=='7' or N[2]=='7':
    print('Yes')
else:
    print('No')
N = input()
if N.count("7") == 0:
	print("No")
else:
	print("Yes")
N=int(input())

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

if ((a == 7) or (b == 7) or (c == 7)):
    print("Yes")
else:
    print("No")
n = input()
if n[0] == '7' or n[1] == '7' or n[2] == '7':
  print('Yes')
else:
  print('No')
N = int(input())
a = N % 10
A = N // 10
b = A % 10
c = A // 10
if a == 7 or b == 7 or c == 7:
    print('Yes')
else:
    print('No')
a = input()
f=0
for i in a:
    if(i=='7'):
        f = 1
        break
if(f==0):print("No")
else:print("Yes")
a = str(input())
ans = 'Yes' if any([i=='7' for i in a]) else 'No'
print(ans)
N = input()
ans = 'No'
for i in range(3):
  if(N[i] == '7'):
    ans = 'Yes'
print(ans)
N = input()

if N.find('7') >= 0:
    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")
N = str(input())
s=0
if int(N[0])==7:
    s=1
    
if int(N[1])==7:
    s=1
if int(N[2])==7:
    s=1
if s==1:
    print('Yes')
else:
    print('No')
N = input()
list_N = list(N)
list_N = [int(s) for s in list_N]

if(list_N[0] != 7 and list_N[1] != 7 and list_N[2] != 7):
  print("No")
else:
  print("Yes")
def solve():
    N = input()
    if N[0] == '7' or N[1] == '7' or N[2] == '7':
        print("Yes")
    else:
        print("No")

if __name__ == "__main__":
    solve()
n = (input())
if n.count("7")>=1:
  print("Yes")
else:
  print("No")
usr = str(input())
flag = False


for n in range(3):
    if usr[n] == "7":
        flag = True

if flag:
    print("Yes")
else:
    print("No")
n=input()
if n[0]=='7' or n[1]=='7' or n[2]=='7':
  print('Yes')
else:
  print('No')
N = input()

if N[0]=='7' or N[1]=='7' or N[2]=='7':
    print('Yes')
else:
    print('No')
N = int(input())
oh = N//100
ot = (N-oh*100)//10
oo = N-oh*100-ot*10
if oh==7 or ot==7 or oo==7:
    print('Yes')
else:
    print('No')
N = input()
if(N[0] == "7" or N[2] == "7" or N[1] == "7"):
    print("Yes")
else:
    print("No")
n=list(str(input()))
print("Yes" if '7' in n else 'No')
n=str(input())
if n[0]=='7' or n[1]=='7' or n[2]=='7':
    print('Yes')
else:
    print('No')
s=input()
num=s.count('7')
if num>0:
  print('Yes')
else:
  print('No')
a = list(input())
if "7" in a:
    print("Yes")
else:
    print("No")