fun main(args : Array<String>){
    val s = readLine()
    var a = s!!.split("") //!!がないとよくないらしい

    for(i in 0..3) if (a[i] == "7") {       //[,1,2,3,]になる。ので４回まわす。よくわからない。よくない。
        println("Yes")
    return
    }
    println("No")
}