#include <stdio.h> int main() { int typc; scanf_s("%d",&typc); switch (typc) { case 1: printf("NO"); break; case 2: printf("YES"); break; case 3: printf("NO"); break; case 4: printf("YES"); break; case 5: printf("NO"); break; case 6: printf("YES"); break; case 7: printf("YES"); break; } return 0; }