process.stdin.resume();
process.stdin.setEncoding('utf8');

var lines = []
var reader = require('readline').createInterface({
  input: process.stdin,
  output: process.stdout
});

reader.on('line', (line) => {
  lines.push(line);
});

reader.on('close', () => {
 var n = lines[0].split('');
 var ans = n.indexOf('7');
 if(ans!==-1){
   console.log('Yes');
 }else{
   console.log('No');
 }
});
