let num = readLine()!.map({$0})
    var r: Int = 0
    
    for i in 0 ..< num.count {
      
      if num[i] == "7" {
        r += 1
      }
    }
    
    if r >= 1 {
      
      print("Yes")
    } else {
      print("No")
    }