const main = stdin => {
  const N = stdin.trim()
  for (let i = 0; i < N.length; i++) {
    if (N[i] === '7') {
      console.log('Yes')
      return
    }
  }
  console.log('No')
}

// 標準入力
main(require("fs").readFileSync("/dev/stdin", "utf8"))
