#include<stdio.h>

int main(void)
{
	char p[]="xxooxoxoxxxoxoxxxoxoxxxoxxxxxoxoxxxxxoxxxoxoxxxoxxxxxoxxxxxoxoxxxxxoxxxoxoxxxxxoxxxoxxxxxoxxxxxxxoxxxoxoxxxoxoxxxoxxxxxxxxxxxxxoxxxoxxxxxoxoxxxxxxxxxoxoxxxxxoxxxxxoxxxoxxxxxoxxxxxoxoxxxxxxxxxoxoxxxoxoxxxxxxxxxxxoxxxxxxxxxxxoxxxoxoxxxoxxxxxoxoxxxxxxxxxoxxxxxoxxxxxoxxxxxoxoxxxxxoxxxoxoxxxxxxxxxoxxxxxxxxxxxxxoxxxoxoxxxoxxxxxxxxxxxxxoxxxxxoxxxxxxxxxoxoxxxoxxxxxoxxxxxxxoxxxxxoxxxxxoxxxoxxxxxoxxxxxxxoxxxoxxxxxxxoxxxxxxxxxoxoxxxxxxxxxoxoxxxxxoxxxoxxxxxoxxxxxxxoxxxoxoxxxoxxxxxxxxxxxoxxxxxxxoxxxoxxxxxxxoxxxoxxxxxoxxxxxxxxxxxoxoxxxxxxxxxxxxxxxxxoxxxxxoxxxxxxxxxoxxxxxoxxxxxoxoxxxxxoxxxxxxxxxoxxxxxoxxxxxoxoxxxxxoxxxxxoxxxoxoxxxxxxxxxxxoxxxxxxxxxoxoxxxoxxxxxoxxxxxoxoxxxxxxxxxxxoxxxoxxxxxoxxxxxxxoxxxxxxxxxoxxxxxxxoxxxxxxxxxoxxxxxxxoxxxxxoxxxxxoxxxoxxxxxxxoxxxxxoxxxoxxxxxxxoxxxoxxxxxxxxxxxxxoxxxxxxxxxoxxxxxxxxxxxoxoxxxxxxxxxoxoxxxoxoxxxxxxxxxoxxxxxxxxxxxxxoxxxoxoxxxoxxxxxxxxxxxxxoxxxoxoxxxoxxxxxxxxxxxxxxxxxxxoxxxoxxxxxxxoxxxxxxxxxoxxxxxxxoxxxoxxxxxoxxxxxoxxxxxxxxxxxxxoxxxoxxxxxoxxxxxoxxxxxxxoxxxxxoxxx";
	int N;
	scanf("%d", &N);
	if(p[N]=='o') printf("YES\n");
	else printf("NO\n");
	return N^N;
}