fun main(args:Array<String>){
    val a=readLine()!!
    for (i in 0..a.length-1){
        if (a[i].toString() == "7"){
            println("Yes")
            return
        }
    }
    println("No")
}