import qualified Data.ByteString.Char8 as BS

readString = map BS.unpack . BS.words

getString = readString <$> BS.getLine

calc :: String -> String
calc [] = "No"
calc (c:s)
  | c == '7' = "Yes"
  | otherwise = calc s

main = do
  [s] <- getString
  putStrLn $ calc s