const main = (inputs) => {
  for (var i = 0; i < inputs[0].length; i++) {
    if (inputs[0][i] == 7) {
      console.log('Yes');
      return false;
    }
  }
  console.log('No');
}
main(require('fs').readFileSync('/dev/stdin', 'UTF-8').trim().split("\n"));