import Foundation

func readInts() -> [Int]{
    readLine()!.split(separator: " ").map { Int($0)! }
}

func main(){
    let n = readLine()!.map { String($0) }
    print(n.firstIndex(of: "7") == nil ? "No": "Yes")
}

main()
