#include int main(void){ int n; scanf("%d",&n); if(n%5==0&&n%7==0) printf("YES"); else printf("NO"); return 0;}
