print<>=~575?"YES\n":"NO\n"