const Main = (input) => {
  const tmp = input.trim().toString().split('')

  const exist = tmp.indexOf('7')

  let result = ''
  if (exist === -1) {
    result = 'No'
  } else {
    result = 'Yes'
  }

  console.log(result)
  return result
}
Main(require('fs').readFileSync('/dev/stdin', 'utf8'))
