import Foundation

let main: () = {
    let S = getString().map(String.init)
    let ans = S.contains("7") ? "Yes" : "No"
    print(ans)
}()

func getString() -> String { readLine()! }
func getInt() -> Int { Int(getString())! }
func getDouble() -> Double { Double(getString())! }


