fun main() {
    println(solve())
}

val solve: () -> String = {
    if (readLine()!!.contains('7')) "Yes" else "No"
}

fun readString() = readLine()!!
fun readInt() = readLine()!!.toInt()
fun readLong() = readLine()!!.toLong()
fun readStringList() = readLine()!!.split(" ")
fun readIntList() = readLine()!!.split(" ").map(String::toInt)
fun readLongList() = readLine()!!.split(" ").map(String::toLong)

fun Any?.alsoPrintln() = also { println(this) }