import 'dart:io';

main(List<String> args){
  String n = stdin.readLineSync();
  bool c=false;
  for(int i=0;i<n.length;i++){
    if(n[i]=="7"){
      c=true;
      break;
    }
  }
  print(c?"Yes":"No");
}