main(a){puts(strstr(gets(&a),"575")?"YES":"NO");}