import Control.Applicative

result :: String -> String
result ('7':[x,y]) = "Yes"
result (x:'7':[y]) = "Yes"
result (x:y:['7']) = "Yes"
result otherwise = "No"

main :: IO ()
main = do
    s <- getLine
    putStrLn $ result s