import Foundation
 
let input_line: String = readLine()!
let split: [String] = input_line.components(separatedBy: " ")
 
let N = Int(split[0])!

if N.contains("7"){
    print("Yes")
}else{
    print("No")