import Foundation

let inpot = readLine()!.characters.map{ Int($0)! }

if(input[0] == 7){
  print("Yes")
}else if(input[1] == 7){
  print("Yes")
}else if(input[2] == 7){
  print("Yes")
}else{
  print("No")
}