import "dart:io";

void main() {
  List<String> n = stdin.readLineSync().split(""); 
  for (int i = 0; i < n.length; i++) {
    if (n[i] == "7") {
      print("Yes");
      return;
    }
  }
  print("No");
}