package main

import (
	"fmt"
)

func main() {
	var N int
	fmt.Scanf("%d\n", &N)

	ns := fmt.Sprint(N)

	ok := false
	for _, s := range []rune(ns) {
		if string(s) == "7" {
			ok = true
		}
	}
	if ok {
		fmt.Println("Yes")
	} else {
		fmt.Println("No")
	}

}
