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

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