function main(arg) {
  var str = arg[0].split('');
  var rslt = 'No';
  str.forEach(a => {
  	if(a == 7) {
      rslt = 'Yes'
    }
  })
  console.log(rslt)
}
main(require("fs").readFileSync("/dev/stdin", "utf8").trim().split('\n'));