#include <iostream>
#include <vector>
#include <cstring>
#include <string>


/* https://yukicoder.me/problems/no/558 */
int main()
{
    char s[100];
    std::cin >> s;
    if(strstr(s, "575"))
        std::cout << "YES" << std::endl;
    else
        std::cout << "NO" << std::endl;
    
    return 0;
}