import Foundation

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

func main() {
    let n = readLine()!
    if n.contains("7") {
        print("Yes")
    } else {
        print("No")
    }
}

main()
