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

func main() {
    let n = Array(readLine()!)
    if n[0] == "7" || n[1] == "7" || n[2] == "7" {
        print("Yes")
    } else {
        print("No")
    }
}

main()
