search :: String -> Int -> String -> String
search sw cnt sc | cnt < 0 = "No"
                 | [sw !! cnt] == sc = "Yes"
                 | otherwise = search sw (cnt-1) sc

main = do
    n <- getLine
    putStrLn (search n (length(n)-1) "7")
