// Problem: F. February 5
#include <bits/stdc++.h>
using namespace std;
void solve()
{
string s;
cin >> s;
if (s[0] == '5' || s[1] == '5')
{
cout << "Yes";
}
else
{
cout << "No";
}
}
int main()
{
int t = 1;
// cin >> t;
while (t--)
{
solve();
}
}
Ly8gUHJvYmxlbTogRi4gRmVicnVhcnkgNQojaW5jbHVkZSA8Yml0cy9zdGRjKysuaD4KdXNpbmcgbmFtZXNwYWNlIHN0ZDsKdm9pZCBzb2x2ZSgpCnsKICAgIHN0cmluZyBzOwogICAgY2luID4+IHM7CiAgICBpZiAoc1swXSA9PSAnNScgfHwgc1sxXSA9PSAnNScpCiAgICB7CiAgICAgICAgY291dCA8PCAiWWVzIjsKICAgIH0KICAgIGVsc2UKICAgIHsKICAgICAgICBjb3V0IDw8ICJObyI7CiAgICB9Cn0KaW50IG1haW4oKQp7CiAgICBpbnQgdCA9IDE7CiAgICAvLyBjaW4gPj4gdDsKICAgIHdoaWxlICh0LS0pCiAgICB7CiAgICAgICAgc29sdmUoKTsKICAgIH0KfQ==