import java.util.Scanner

object Main {
  def main(args:Array[String]) = {
    val sc = new java.util.Scanner(System.in)
    val a = sc.nextInt //最初の整数が読み込まれる
    a.toString.contains("7") match{
    case true => println("Yes")
    case false => println("No")
    }
  }
}
