import Control.Monad
import Data.Maybe
import qualified Data.ByteString.Char8 as BS

main = abc162a

abc162a = do
    n <- BS.getLine
    putStrLn $ if BS.elem '7' n then "Yes" else "No"

readInt = fst . fromJust . BS.readInteger
readIntList = map readInt . BS.words
getIntList = readIntList <$> BS.getLine