main = do
    line<-getLine
    putStrLn $ if sevenInStr line then "Yes" else "No"

sevenInStr :: [Char] -> Bool
sevenInStr [] = False
sevenInStr (x:xs) 
    | x=='7' = True
    | otherwise = sevenInStr xs 