#include <iostream>
#include <string.h>

int main()
{
    char s[101];
    std::cin >> s;
    
    if(strstr(s, "575"))
    {
        std::cout << "YES" << std::endl;
    }
    else
    {
        std::cout << "NO" << std::endl;
    }
    
    return 0;
}